Structured chain complexes V
From Manifold Atlas
(Difference between revisions)
Tibor Macko (Talk | contribs)
(Created page with "<wikitex>; Let $f \colon C \rightarrow D$ and $g \colon D \rightarrow E$ be chain maps and let $j \colon gf \simeq 0 \colon C \rightarrow E$ be a chain homotopy from~$gf$ to~$...")
(Created page with "<wikitex>; Let $f \colon C \rightarrow D$ and $g \colon D \rightarrow E$ be chain maps and let $j \colon gf \simeq 0 \colon C \rightarrow E$ be a chain homotopy from~$gf$ to~$...")
Latest revision as of 12:34, 23 August 2013
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