Wiki. Segal 范畴 [Segal范畴]SimplicialCat 观念 Segal 范畴是一种双单纯集, 是无穷范畴的模型; 其中以单纯集的形式记录了 “$k$-态射的空间”. 定义 Segal 范畴是满足如下条件的双单纯集 $X \colon \Delta^{\mathrm{op}} \to \mathsf{sSet}$: … 相关概念 Segal 空间.