A characterisation of the category of compact Hausdorff spaces
- 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.
- Publication status:
- Peer review status:
- Peer reviewed
(Accepted manuscript, 421.8KB)
- Copyright holder:
- Vincenzo Marra and Luca Reggio
- Copyright date:
- Rights statement:
- © Vincenzo Marra and Luca Reggio, 2020.
- This is the accepted manuscript version of the article. The final version is available online from Theory and Applications of Categories at: http://www.tac.mta.ca/tac/volumes/35/51/35-51abs.html
Views and Downloads
If you are the owner of this record, you can report an update to it here: Report update to this record