A CHARACTERISATION OF THE CATEGORY OF COMPACT HAUSDORFF SPACES

被引:0
|
作者
Marra, Vincenzo [1 ]
Reggio, Luca
机构
[1] Univ Milan, Dipartimento Matemat Federigo Enriques, Via Cesare Saldini 50, I-20133 Milan, Italy
来源
基金
欧洲研究理事会;
关键词
compact Hausdorff spaces; coherent category; pretopos; filtrality; Stone spaces; exact completion; ELEMENTARY THEORY; ALGEBRAIC-THEORY;
D O I
暂无
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
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.
引用
收藏
页码:1871 / 1906
页数:36
相关论文
共 50 条