Equivalence of cubical and simplicial approaches to (\infty,n)-categories

DOI10.1016/J.AIM.2023.108902MaRDI QIDQ6370550arXivFDO

Authors Brandon Doherty, Krzysztof Kapulkin, Yuki Maehara

Publication date 17 June 2021

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.AIM.2023.108902

Mathematics Subject Classification ID

((infty, n))-categories and ((infty,infty))-categories (18N65) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

arXiv classification

math.ATmath.CT

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.

This page was built for publication: Equivalence of cubical and simplicial approaches to $(\infty,n)$-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6370550)