The complicial model of $(\infty ,\omega )$-categories

Abstract

In this text, we show that Verity $n$-complicial sets are a model of (non-complete) $(\infty ,n)$-categories.

arXiv commentV2: The proof was extended to the case of non saturated complicial sets