Factorizing the Top-Loc adjunction through positive topologies

DOI10.1007/S00153-021-00768-5MaRDI QIDQ2238147zbMATH OpenOpenAlexWikidataFDO

Authors Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio

Publication date 29 October 2021

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

localessuplatticesGrothendieck constructionsformal topologies

Mathematics Subject Classification ID

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

Abstract: We characterize the category of Sambin's positive topologies as a fibration over the category of locales Loc. The fibration is obtained by applying the Grothendieck construction to a doctrine over Loc. We then construct an adjunction between the category of positive topologies and that of topological spaces Top, and show that the well-known adjunction between Top and Loc factors through the newly constructed adjunction.

Recommendations

• Towards higher topology
• On the categorical behaviour of locales and D-localic maps
• Embedding locales and formal topologies into positive topologies
• General facts on the Scott adjunction
• Category-theoretic fuzzy topological spaces and their dualities

Cites work

• scientific article; zbMATH DE number 3853324 (Why is no real title available?)
• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1555466 (Why is no real title available?)
• scientific article; zbMATH DE number 2247258 (Why is no real title available?)
• A constructive Galois connection between closure and interior
• A structural investigation on formal topology: coreflection of formal covers and exponentiability
• Adjointness in Foundations
• An extension of the Galois theory of Grothendieck
• Categorical logic and type theory
• Completeness and cocompleteness of the categories of basic pairs and concrete spaces
• Constructive theory of the lower power locale
• Convergence in formal topology: a unifying notion
• Elementary doctrines as coalgebras
• Elementary quotient completion
• Embedding locales and formal topologies into positive topologies
• Open maps of toposes
• Positivity relations on a locale
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• Quotient completion for the foundation of constructive mathematics
• Some points in formal topology.

Cited in

(2)

• General facts on the Scott adjunction
• Embedding locales and formal topologies into positive topologies

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2238147)