关于紧有序空间对偶的可公理化性
范畴论
2020-11-19 v3 一般拓扑
逻辑
环与代数
摘要
我们给出了一个直接且初等的证明：Nachbin 紧有序空间范畴对偶等价于一个 Aleph_1-元代数簇。进一步，我们表明 Aleph_1 是一个紧界：紧有序空间不对偶等价于任何有限元代数的 SP-类。
引用
@article{arxiv.1909.01631,
title = {On the axiomatisability of the dual of compact ordered spaces},
author = {Marco Abbadini and Luca Reggio},
journal= {arXiv preprint arXiv:1909.01631},
year = {2020}
}
备注
10 pages. v3: minor changes. To appear in Applied Categorical Structures