Wiki. 单纯对象 [单纯对象]

定义

范畴 $\mathcal C$ 中的单纯对象是其中的内蕴单纯集, 也即单纯形范畴的对偶到 $\mathcal C$ 的函子 $\Delta^{\text{op}}\to \mathcal C$.

类似地, 增广单纯对象是增广单纯形范畴的对偶到 $\mathcal C$ 的函子 $\Delta_+^{\text{op}}\to \mathcal C$.

相关概念

单纯集, 常值单纯对象, 单纯对象的分裂