Structured chain complexes V (Ex)
From Manifold Atlas
Let and be chain maps and let be a chain homotopy from~ to~. Then the formula
gives another chain map making the following diagram commutative
Find appropriate for which we have
and