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

Brandon Doherty, Chris Kapulkin, Yuki Maehara

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…