初等拓扑斯中的 Hurewicz 纤维化
代数拓扑
2019-09-12 v4
摘要
我们研究在带 NNO 的初等拓扑斯中 Hurewicz 纤维化及相关拓扑概念的形式对应物。这些构造基于一个特定的区间概念，并导致在配备此类数据的拓扑斯上形成纤维对象范畴的结构。实际上我们得到的略多，因为构建模块派生自一个弱分解系统。
引用
@article{arxiv.1608.02509,
title = {Hurewicz fibrations in elementary toposes},
author = {Krzysztof Worytkiewicz},
journal= {arXiv preprint arXiv:1608.02509},
year = {2019}
}