Embedding locales and formal topologies into positive topologies

DOI10.1007/S00153-017-0605-0OpenAlexW2775632389MaRDI QIDQ1756486

Giovanni Sambin, Francesco Ciraulo

Publication date: 14 January 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11577/3254733

zbMATH Keywords

constructive mathematicslocalessuplatticesformal topologypositive topologiespositivity relations

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Frames, locales (06D22) Other constructive mathematics (03F65)

Related Items (5)

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice ⋮ On Small Types in Univalent Foundations ⋮ Unnamed Item ⋮ The principle of pointfree continuity ⋮ Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Positivity relations on a locale
• The basic Zariski topology
• A minimalist two-level foundation for constructive mathematics
• Inductively generated formal topologies.
• Some points in formal topology.
• Aspects of general topology in constructive set theory
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• Regular universes and formal spaces
• Formal Zariski topology: Positivity and points
• Compactness in locales and in formal topology
• An extension of the Galois theory of Grothendieck
• A constructive Galois connection between closure and interior
• Convergence in formal topology: a unifying notion
• A structural investigation on formal topology: coreflection of formal covers and exponentiability

This page was built for publication: Embedding locales and formal topologies into positive topologies