Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies

DOI10.1007/S00153-021-00768-5zbMath1482.03015arXiv1812.09190OpenAlexW3153495731WikidataQ114231465 ScholiaQ114231465MaRDI QIDQ2238147

Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio

Publication date: 29 October 2021

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

Full work available at URL: https://arxiv.org/abs/1812.09190

zbMATH Keywords

localessuplatticesGrothendieck constructionsformal topologies

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Frames, locales (06D22) Preorders, orders, domains and lattices (viewed as categories) (18B35) Frames and locales, pointfree topology, Stone duality (18F70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Positivity relations on a locale
• Quotient completion for the foundation of constructive mathematics
• Open maps of toposes
• Categorical logic and type theory
• Some points in formal topology.
• Embedding locales and formal topologies into positive topologies
• Elementary doctrines as coalgebras
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• Elementary quotient completion
• An extension of the Galois theory of Grothendieck
• Adjointness in Foundations
• Constructive theory of the lower power locale
• 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
• Completeness and cocompleteness of the categories of basic pairs and concrete spaces

This page was built for publication: Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies