连贯拓扑与超结构的几何
范畴论
2022-11-08 v1 一般拓扑
逻辑
摘要
我们证明了连贯拓扑（coherent topoi）关于拓扑的平坦嵌入是右 Kan 内射的。作为该结果的一个推论，我们恢复了其点范畴上的超结构（ultrastructure）。我们推测了在形式模型理论不同领域中超范畴（ultracategory）的可能概念。
引用
@article{arxiv.2211.03104,
title = {The geometry of Coherent topoi and Ultrastructures},
author = {Ivan Di Liberti},
journal= {arXiv preprint arXiv:2211.03104},
year = {2022}
}
备注
24 pages. Comments are welcome!