单纯拓扑空间 ⇐ 文章草稿

[Anonymous]

“单纯拓扑空间”是高等范畴论数学分支中拓扑空间范畴中的单纯对象。单纯拓扑空间为细胞复合体建模提供了普遍的视角
== 定义 ==
单纯拓扑空间是从（对偶类别|对偶）单纯形类别到拓扑空间类别的逆变函子 (数学)|函子 \Delta\rightarrow\mathbf{Top} 或协变函子 \Delta^\mathrm{op}\rightarrow\mathbf{Top}。 （为了获得更好的属性，通常最好使用子类别，例如紧生成的拓扑空间 \mathbf{cgTop} 的类别或紧生成的弱豪斯多夫空间|弱豪斯多夫空间 \mathbf{cgwHaus} 的类别。）因此，单纯拓扑空间由一个序列组成(X_n)_{n\in\mathbb{N 拓扑空间|拓扑空间以及连续映射|连续映射 d_i^n\colon X_n\rightarrow s_i^n\colon X_n\rightarrow 1.2.3

: 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,
我