Geodesic
Filtral pretoposes and compact Hausdorff locales
Theory and applications of categories, Tome 41 (2024), pp. 1439-1475.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

The category of compact Hausdorff locales is a pretopos which is filtral, meaning that every object is covered by one whose subobject lattice is isomorphic to the lattice of filters of complemented elements. We show that any filtral pretopos satisfying some mild additional conditions can be embedded into the category of compact Hausdorff locales. This result is valid in the internal logic of any topos. Assuming the principle of weak excluded middle and the existence of copowers of the terminal object in the pretopos, the image of the embedding contains all spatial compact Hausdorff locales.The notion of filtrality was introduced by V. Marra and L. Reggio (Theory Appl. Categ., 2020) to characterise the category of compact Hausdorff spaces within the class of pretoposes. Our results can be regarded as a constructive extension of the aforementioned characterisation, avoiding reference to points. If the ambient logic is classical, i.e. it satisfies excluded middle, and the prime ideal theorem for Boolean algebras holds, we obtain as a corollary the characterisation of compact Hausdorff spaces in op. cit.
Publié le :
Classification : 18F70, 18B50, 03F60
Keywords: compact Hausdorff locales, pretopos, filtrality, constructive locale theory 
@article{TAC_2024_41_a40,
     author = {C\'elia Borlido and Panagis Karazeris and Luca Reggio and Konstantinos Tsamis},
     title = {Filtral pretoposes and compact {Hausdorff} locales},
     journal = {Theory and applications of categories},
     pages = {1439--1475},
     publisher = {mathdoc},
     volume = {41},
     year = {2024},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2024_41_a40/}
}
TY  - JOUR
AU  - Célia Borlido
AU  - Panagis Karazeris
AU  - Luca Reggio
AU  - Konstantinos Tsamis
TI  - Filtral pretoposes and compact Hausdorff locales
JO  - Theory and applications of categories
PY  - 2024
SP  - 1439
EP  - 1475
VL  - 41
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2024_41_a40/
LA  - en
ID  - TAC_2024_41_a40
ER  - 
%0 Journal Article
%A Célia Borlido
%A Panagis Karazeris
%A Luca Reggio
%A Konstantinos Tsamis
%T Filtral pretoposes and compact Hausdorff locales
%J Theory and applications of categories
%D 2024
%P 1439-1475
%V 41
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2024_41_a40/
%G en
%F TAC_2024_41_a40
Célia Borlido; Panagis Karazeris; Luca Reggio; Konstantinos Tsamis. Filtral pretoposes and compact Hausdorff locales. Theory and applications of categories, Tome 41 (2024), pp. 1439-1475. http://geodesic.mathdoc.fr/item/TAC_2024_41_a40/