2000 character limit reached
The complicial model of $(\infty,ω)$-categories (2207.08504v2)
Published 18 Jul 2022 in math.CT
Abstract: It has been conjectured since the 1980s that Verity's $n$-complicial sets were a model for $(\infty,n)$-categories. This text is dedicated to providing a positive answer to this conjecture. The proof of this result relies on a thorough study of Gray operations in (strict) $\omega$-categories, in complicial sets, and in enriched (stratified) Segal precategories.
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.