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.
@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/