论文标题
$(\ infty,ω)$ - 类别的复杂模型
The complicial model of $(\infty,ω)$-categories
论文作者
论文摘要
自1980年代以来,人们一直猜想Verity的$ n $ complicial套装是$(\ infty,n)$类别的型号。本文致力于为此猜想提供积极的答案。 此结果的证明依赖于对(严格)$ω$ - 类别,整体组合以及富集(分层的)segal预制剂中的灰色操作进行了彻底的研究。
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) $ω$-categories, in complicial sets, and in enriched (stratified) Segal precategories.