Categorical logic, topoi (03G30) Grothendieck topologies and Grothendieck topoi (18F10) Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30) Categories of topological spaces and continuous mappings (18F60) Frames and locales, pointfree topology, Stone duality (18F70)
Abstract: We categorify the adjunction between locales and topological spaces, this amounts to an adjunction between (generalized) bounded ionads and topoi. We show that the adjunction is idempotent. We relate this adjunction to the Scott adjunction, which was discussed from a more categorical point of view in [Liba]. We hint that -dimensional adjunction inhabits the categorified one.
Recommendations
- General facts on the Scott adjunction
- Ionads
- scientific article; zbMATH DE number 4087890
- Double power monad preserving adjunctions are Frobenius
- scientific article; zbMATH DE number 3863436
- Representing geometric morphisms using power locale monads
- A representation theorem for geometric morphisms
- A convenient category for directed homotopy
- The coframe of \(D\)-sublocales of a locale and the \(T_D\)-duality
- Localizations in Universal Topological Categories
Cites work
- scientific article; zbMATH DE number 3940199 (Why is no real title available?)
- scientific article; zbMATH DE number 3735877 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 1784846 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 3218473 (Why is no real title available?)
- scientific article; zbMATH DE number 3218474 (Why is no real title available?)
- AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
- Abstract elementary classes and accessible categories
- Accessible Categories: The Foundations of Categorical Model Theory
- Atomless Parts of Spaces.
- Classification theory for accessible categories
- Gattungen von lokalen Strukturen
- How nice are free completions of categories?
- Ionads
- Limits of small functors
- On functors which are lax epimorphisms
- Sheaves in geometry and logic: a first introduction to topos theory
- Theories of presheaf type
Cited in
(7)- Formal model theory and higher topology
- Towards a theory of contextual topology
- scientific article; zbMATH DE number 1257187 (Why is no real title available?)
- General facts on the Scott adjunction
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
- Ionads
- scientific article; zbMATH DE number 937370 (Why is no real title available?)
This page was built for publication: Towards higher topology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2229960)
