立方与单纯方法处理 $(\infty,n)$-范畴的等价性
代数拓扑
2025-12-23 v4 范畴论
摘要
我们证明了从配备有（n-平凡、饱和）comical 集模型结构的标记立方集范畴，到配备有（n-平凡、饱和）complicial 集模型结构的标记单纯集范畴的标记三角剖分函子是 Quillen 等价。我们的证明基于锥理论，该理论由前两位作者与 Lindsey 和 Sattler 先前发展。
引用
@article{arxiv.2106.09428,
title = {Equivalence of cubical and simplicial approaches to $(\infty,n)$-categories},
author = {Brandon Doherty and Chris Kapulkin and Yuki Maehara},
journal= {arXiv preprint arXiv:2106.09428},
year = {2025}
}
备注
version accepted for publication