Factorizing the Top-Loc adjunction through positive topologies

DOI10.1007/S00153-021-00768-5zbMATH Open1482.03015arXiv1812.09190OpenAlexW3153495731WikidataQ114231465 ScholiaQ114231465MaRDI QIDQ2238147FDOQ2238147

Authors: Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio 

Publication date: 29 October 2021

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

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.

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

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

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)

Cites Work

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

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)