单纯对象 ⇐ 文章草稿

[Anonymous]

“单纯对象”是高范畴论|高范畴论的数学|数学子域中的一个序列（数学）|在一个范畴（数学）|类别中它们之间具有特殊态射的对象序列，它可以进行组合|组合描述。 “共隐对象”是双重术语，但具有次要意义。

== 定义 ==
对于类别 \mathcal{C}，具有单纯形类别 \Delta，逆变函子 \Delta\rightarrow\mathcal{C} （或者协变函子 \Delta^\mathrm{op}\rightarrow\mathcal{C}）是“单纯形对象”和协变函子 \Delta\rightarrow\mathcal{C} 一个“余隐对象”。单纯和余单纯对象本身都形成范畴，即函子类别|函子类别，称为：

: \mathbf{s}\mathcal{C}
:=\mathbf{Fun}(\Delta^\mathrm{op},\mathcal{C}),
: \mathbf{c}\mathcal{C}
:=\mathbf{Fun}(\Delta,\mathcal{C})

可以参考。

单纯形对象由序列 (X_n)_{n\in\mathbb{N
对象的 \in\operatorname{Ob}\mathcal{C} 以及连续映射|连续映射 d_i^n\colon X_n\rightarrow X_n\rightarrow
: d_i^{n-1}\circ d_j^n
=d_{j-1}^{n-1}\circ d_i^n,
i>j;
: s_i^{n+1}\circ s_j^n
=s_j^{n+1}\circ s_{i-1}^n,
我