A characterisation of the category of compact Hausdorff spaces

zbMath1451.18023arXiv1808.09738MaRDI QIDQ5137920

Vincenzo Marra, Luca Reggio

Publication date: 3 December 2020

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

zbMATH Keywords

distributive latticecoherent categoryregular categoryStone spacereflective subcategorycompact Hausdorff spaceBoolean centerextensive categorypretoposdecidable objectregular projective generatorexact completion of a categoryfiltral categoryGelfand-Naimark dualitywell-powered category

Mathematics Subject Classification ID

Topoi (18B25) Categorical methods in general topology (54B30) Stone spaces (Boolean spaces) and related structures (06E15) Categories of topological spaces and continuous mappings (18F60) Frames and locales, pointfree topology, Stone duality (18F70) Regular categories, Barr-exact categories (18E08)

Related Items (5)

The stable category of preorders in a pretopos. I: General theory ⋮ A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES ⋮ A generalization of de Vries duality to closed relations between compact Hausdorff spaces ⋮ On effective descent \(\mathcal{V}\)-functors and familial descent morphisms ⋮ Algebraic logoi

Cites Work

• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• Generating the algebraic theory of C(X)
• Elementary categories
• Lattice-equivalence of topological spaces
• Introduction to extensive and distributive categories
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Regular and exact completions
• Some free constructions in realizability and proof theory
• Decidable (= separable) objects and morphisms in lextensive categories
• Exact categories and categories of sheaves
• An elementary approach to `algebra \(\cap\) topology = compactness'
• Concrete representation of abstract (M)-spaces. (A characterization of the space of continuous functions.)
• More on Compact Hausdorff Spaces and Finitary Duality
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• An Elementary Theory of the Category of Topological Spaces
• Algebra ∩ topology = compactness
• The Theory of Representation for Boolean Algebras
• On vector lattice with a unit
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A characterisation of the category of compact Hausdorff spaces