2000 character limit reached
Equivalence of cubical and simplicial approaches to $(\infty,n)$-categories (2106.09428v3)
Published 17 Jun 2021 in math.AT and math.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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Collections
Sign up for free to add this paper to one or more collections.