Wiki. “双单纯集” [双单纯集]

定义

双单纯集是单纯集范畴中的单纯对象, 也即函子 $\Delta^{\text{op}}\times\Delta^{\text{op}} \to\mathsf {Set}$. 双单纯集又称单纯空间 (simplicial space).

双单纯集的范畴记为 $\mathsf {ssSet}$.

性质