紧有序空间的对偶是一个簇
逻辑
2022-11-09 v3
摘要
在近期一篇论文（2018）中，D. Hofmann、R. Neves 与 P. Nora 证明了紧偏序空间与单调连续映射范畴的对偶是一个拟簇——非有限元，但受 界定。一个开放问题是：它是否也是一个簇？我们证明答案是肯定的。我们通过一组有限元运算，连同可数无限元数的运算以及等式公理来描述该簇。对偶等价由对偶对象 [0,1] 诱导。
引用
@article{arxiv.1902.07162,
title = {The dual of compact ordered spaces is a variety},
author = {Marco Abbadini},
journal= {arXiv preprint arXiv:1902.07162},
year = {2022}
}