Compact Hausdorff locales in presheaf toposes

DOI10.1007/S10485-023-09751-YMaRDI QIDQ6084669zbMATH OpenOpenAlexFDO

Authors Simon Henry, Christopher F. Townsend

Publication date 6 November 2023

Published in Applied Categorical Structures (Search for Journal in Brave)

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

zbMATH Keywords

compact Hausdorfflocaletopos

Mathematics Subject Classification ID

Frames, locales (06D22) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Frames and locales, pointfree topology, Stone duality (18F70)

Abstract: We prove that for any small category $mathcalC$, the category $mathbf{KHausLoc}_{hatmathcalC}$ of compact Hausdorff locales in the presheaf topos $hatmathcalC$, is equivalent to the category of functors $mathcalComathbfKHausLoc$.

Recommendations

• Compactness in locales and in formal topology
• scientific article; zbMATH DE number 1080908
• Lindelöf locales and ℕ-compactness
• Compactly generated Hausdorff locales
• scientific article; zbMATH DE number 1874697
• Compactness and Closedness in Locally Compact Hausdorff Spaces
• Locally closed sets in intuitionistic topological spaces
• Local properties of topological spaces and remainders in compactifications
• scientific article; zbMATH DE number 2163950
• scientific article; zbMATH DE number 19503

Cites work

• An extension of the Galois theory of Grothendieck
• Gelfand spectra in Grothendieck toposes using geometric mathematics
• scientific article; zbMATH DE number 3876180 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 1420837 (Why is no real title available?)
• Monads for which structures are adjoint to units
• On the parallel between the suplattice and preframe approaches to locale theory
• Singular coverings of toposes

Cited in

(1)

• Stably locally compact locales are dual to continuous posets

This page was built for publication: Compact Hausdorff locales in presheaf toposes

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