单纯集合中的幺半性
代数拓扑
2018-10-30 v4 范畴论
摘要
我们给出了Voevodsky关于Kan纤维化幺半宇宙构造的一个易懂的阐述。
引用
@article{arxiv.1203.2553,
title = {Univalence in Simplicial Sets},
author = {Chris Kapulkin and Peter LeFanu Lumsdaine and Vladimir Voevodsky},
journal= {arXiv preprint arXiv:1203.2553},
year = {2018}
}
备注
13 pages. Not intended for publication. An extended version appears as "The Simplicial Model of Univalent Foundations (after Voevodsky)", arXiv:1211.2851, presenting the logical as well as the homotopy-theoretic aspects of the model