Eilenberg–Zilber theorem

《一般拓扑学基础》 · 第 266 页 · Theorem 9.33

For topological spaces \(X\) and \(Y\), there is a natural chain equivalence \(S_*(X\times Y)\to S_*(X)\otimes S_*(Y)\), unique up to chain homotopy.