Chain homotopy

Chain maps

f, g : C \to C^{'}

are chain homotopic when there are maps

h_{i} : C_{i} \to C_{i + 1}^{'}

such that

f_{i} - g_{i} = d_{i + 1}^{'} h_{i} + h_{i - 1} d_{i} .

Chain-homotopic maps induce the same map on homology.

 Ancestors (8)