Wiki. Dold–Thom 定理 [Dold–Thom定理]SimplicialCat 陈述 拓扑空间的约化同调同构于其生成的自由交换幺半群的同伦群. 空间 $X$ 生成的自由交换幺半群可构造为无穷对称积 (infinite symmetric product), 即对称积 $X^n / S_n$ 的余极限.