Equivalence of cubical and simplicial approaches to $(\infty,n)$-categories
Abstract
We prove that the marked triangulation functor from the category of marked cubical sets equipped with a model structure for ($n$-trivial, saturated) comical sets to the category of marked simplicial set equipped with a model structure for ($n$-trivial, saturated) complicial sets is a Quillen equivalence. Our proof is based on the theory of cones, previously developed by the first two authors together with Lindsey and Sattler.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2021
- DOI:
- 10.48550/arXiv.2106.09428
- arXiv:
- arXiv:2106.09428
- Bibcode:
- 2021arXiv210609428D
- Keywords:
-
- Mathematics - Algebraic Topology;
- Mathematics - Category Theory;
- 18N65;
- 55U35
- E-Print:
- 60 pages