at.algebraic topology - Homotopy commutativity of the cup product

Such homotopies are given by the $smile_i$-products. Steenrod gives explicit formulas, IIRC, in [Steenrod, N. E. Products of cocycles and extensions of mappings. Ann. of Math. (2) 48, (1947). 290--320. MR0022071], but the easiest is to prove they exist using acyclic models.

(Maybe Steenrod only deals with $mathbb Z_2$ coefficients? I don't have access to the paper now :( )

• Next gn.general topology - Lebesgue dimension of closures satisfying the Z-set condition
• Previous banach spaces - A proof about an unconditional basis theorem