立方拟范畴的刚性化
代数拓扑
2024-08-28 v1 范畴论
摘要
我们构造了 Joyal 与 Lurie 著作中从拟范畴到单纯范畴的刚性化函子的立方类比。我们定义了一个从 Doherty-Kapulkin-Lindsey-Sattler 的立方集范畴到（小）单纯范畴范畴的函子。我们证明该刚性化函子在立方集上的 Joyal 模型结构（如上述四位作者所称）与 Bergner 在单纯范畴上的模型结构之间建立了 Quillen 等价。我们遵循 Dugger 与 Spivak 的刚性化方法，将其项链框架适配到立方情形。
引用
@article{arxiv.2211.13679,
title = {Rigidification of cubical quasi-categories},
author = {Pierre-Louis Curien and Muriel Livernet and Gabriel Saadia},
journal= {arXiv preprint arXiv:2211.13679},
year = {2024}
}
备注
34 pages