A characterisation of the category of compact Hausdorff spaces

zbMATH Open1451.18023arXiv1808.09738MaRDI QIDQ5137920FDOQ5137920

Authors: Vincenzo Marra, Luca Reggio 

Publication date: 3 December 2020

Abstract: We provide a characterisation of the category KH of compact Hausdorff spaces and continuous maps by means of categorical properties only. To this aim we introduce a notion of filtrality for coherent categories, relating certain lattices of subobjects to their Boolean centers. Our main result reads as follows: Up to equivalence, KH is the unique non-trivial well-pointed pretopos which is filtral and admits all set-indexed copowers of its terminal object.

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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• scientific article; zbMATH DE number 426316
• General non-commutative locally compact locally Hausdorff Stone duality
• A measurable cardinal associated with an epireflective subcategory of Hausdorff spaces
• Separation properties in algebraic categories of topologies spaces
• Some generalizations of Fedorchuk duality theorem-I
• scientific article; zbMATH DE number 4019973
• Remarks on Banaschewski-Fomin-Shanin extensions
• Comparing Cartesian closed categories of (core) compactly generated spaces
• scientific article; zbMATH DE number 19035
• scientific article; zbMATH DE number 703504

zbMATH Keywords

compact Hausdorff spacereflective subcategorydistributive latticeStone spaceregular categoryBoolean centerextensive categorypretoposcoherent categorydecidable 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)

Cites Work

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

Cited In (14)

• On effective descent \(\mathcal{V}\)-functors and familial descent morphisms
• A generalization of de Vries duality to closed relations between compact Hausdorff spaces
• A CHARACTERIZATION OF COMPACTIFICATIONS OF LOCAL COMPACT HAUSDORFF SPACE
• Title not available (Why is that?)
• Compactness in categories of \(\mathcal S\)-net spaces
• General non-commutative locally compact locally Hausdorff Stone duality
• A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES
• R-compact uniform spaces in the category ZUni f
• Filtral pretoposes and compact Hausdorff locales
• Title not available (Why is that?)
• Algebraic logoi
• Spaces with filters
• The stable category of preorders in a pretopos. I: General theory
• Title not available (Why is that?)

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

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