scientific article; zbMATH DE number 7155245

zbMath1440.18007MaRDI QIDQ5208904

Alessio Santamaria, Giulia Frosoni, Giuseppe Rosolini

Publication date: 22 January 2020

Full work available at URL: http://logicandanalysis.org/index.php/jla/article/download/389/153

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

frameequilogical spacedouble-power monad

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) Frames, locales (06D22) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Frames and locales, pointfree topology, Stone duality (18F70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundational theories of classical and constructive mathematics. Based on the annual meeting of the Swiss Society for Logic and Philosophy of Science (SSLPS) on ``Foundational theories of mathematics, Freiburg, Switzerland, October 11--12, 2006
• A universal characterization of the double powerlocale
• Equilogical spaces and algebras for a double-power monad
• Equilogical spaces
• Strong functors and monoidal monads
• Elementary quotient completion
• A lambda calculus for real analysis
• Classical logic, continuation semantics and abstract machines
• Computably Based Locally Compact Spaces

This page was built for publication: