The complicial model of (∞,ω)-categories
Abstract
It has been conjectured since the 1980s that Verity's n-complicial sets were a model for (∞,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) ω-categories, in complicial sets, and in enriched (stratified) Segal precategories.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.