The Constructive Kan-Quillen Model Structure: Two New Proofs
The Constructive Kan-Quillen Model Structure: Two New Proofs
复制标题
构造性 Kan-Quillen 模型结构：两个新证明
DOI：
10.1093/qmath/haab057
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Gambino N
中科院分区：
文献类型：
--
作者：
Gambino N
本文给出了Simon亨利关于单纯集范畴存在经典Kan-Quillen模型结构的构造性对应的结果的两个新的证明。我们的证明是完全独立的，避免了复杂的组合参数的止痛药扩展。我们也给出了新的建设性证明的左，右适当的模型结构。
We present two new proofs of Simon Henry’s result that the category of simplicial sets admits a constructive counterpart of the classical Kan–Quillen model structure. Our proofs are entirely self-contained and avoid complex combinatorial arguments on anodyne extensions. We also give new constructive proofs of the left and right properness of the model structure.