Filtral pretoposes and compact Hausdorff locales (Preprint)

  <Reference List>
Type: Preprint
National /International: International
Title: Filtral pretoposes and compact Hausdorff locales
Publication Date: 2023-10-04
Authors: - Célia Borlido
- Panagis Karazeris
- Luca Reggio
- Konstantinos Tsamis

We address the problem of characterising the category of compact Hausdorff locales, in analogy with the characterisation of the category of compact Hausdorff space as a pretopos recently obtained by V. Marra and L. Reggio (Theory Appl. Categ., 2020).
Utilising the concept of filtrality introduced in op. cit., we identify sufficient conditions on a filtral pretopos ensuring that it can be embedded into the category of compact Hausdorff locales. Whereas the latter result is valid in the internal logic of a topos, if we assume 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. Thus, provided that compact Hausdorff locales have enough points in the ambient logic, the embedding is an equivalence of categories. If the ambient logic is classical, we recover the aforementioned characterisation of compact Hausdorff spaces

Institution: DMUC 23-30
Online version:
Download: Not available
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support