Algebraic Topology
《Algebraic Topology》 · 第 278 页 · Section 3.B
The simplicial cross product \(C_m(X;R)\otimes C_n(Y;R)\to C_{m+n}(X\times Y;R)\) is defined by the signed sum over the edge paths that triangulate \(\Delta^m\times\Delta^n\).