Towards higher topology

DOI10.1016/J.JPAA.2021.106838zbMATH Open1470.18014arXiv2009.14145OpenAlexW3196733042MaRDI QIDQ2229960FDOQ2229960

Authors: Ivan Di Liberti 

Publication date: 17 September 2021

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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 $0$-dimensional adjunction inhabits the categorified one.

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

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

Mathematics Subject Classification ID

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)

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Classification theory for accessible categories
• Abstract elementary classes and accessible categories
• Title not available (Why is that?)
• Atomless Parts of Spaces.
• Limits of small functors
• Title not available (Why is that?)
• Gattungen von lokalen Strukturen
• AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
• Ionads
• Theories of presheaf type
• Title not available (Why is that?)
• On functors which are lax epimorphisms
• Title not available (Why is that?)
• How nice are free completions of categories?

Cited In (7)

• Formal model theory and higher topology
• Towards a theory of contextual topology
• Title not available (Why is that?)
• General facts on the Scott adjunction
• Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
• Ionads
• Title not available (Why is that?)

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)