$ω$类别削弱的Kan条件
Conditions de Kan sur les nerfs des $ω$-catégories
摘要：
我们证明了严格$ω$范畴$C$的Street神经是Kan复形（分别是准范畴）当且仅当$C$的$n$ -胞元对于$n\geq 1$（分别是$n> 1$）是弱可逆的。此外，我们还给$\mathcal{N}(C)$构造了一个饱和复集结构，其中$n$ -单纯形对应于从$n^{th}$到$C$的态射，将定义域的唯一非平凡$n$ -胞元发送到$C$的弱可逆胞元.
英文摘要：
We show that the Street nerve of a strict $ω$-category $C$ is a Kan complex (respectively a quasi-category) if and only if the $n$-cells of $C$ for $n\geq 1$ (respectively $n> 1$) are weakly invertible. Moreover, we equip $\mathcal{N}(C)$ with a structure of saturated complicial set where the $n$-simplices correspond to morphisms from the $n^{th}$ oriental to $C$ sending the unique non-trivial $n$-cell of the domain to a weakly invertible cell of $C$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
