同伦类型论中的幂零类型与断裂方块
代数拓扑
2022-01-27 v2 范畴论
摘要
我们在同伦类型论中发展了幂零类型及其远离数字集合的局部化的基础理论。为此，我们证明了关于以 Eilenberg-Mac Lane 空间为纤维的纤维化的分类空间的一般性结果。我们还构造了远离数字集合的局部化的断裂方块。我们所有的证明都是构造性的。
引用
@article{arxiv.1903.03245,
title = {Nilpotent Types and Fracture Squares in Homotopy Type Theory},
author = {Luis Scoccola},
journal= {arXiv preprint arXiv:1903.03245},
year = {2022}
}
备注
35 pages; minor improvements from published version (2020)