# Structured chain complexes V

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