Let $f$, $g:A_\ast\longrightarrow B_\ast$ be complex homomorphisms. A homotopy between $f$ and $g$ is a family of maps $K:A_k\longrightarrow B_{k+1}$

with $\partial_B\circ K+K\circ \partial_A=g-f:A_k\longrightarrow B_k$ for all $k$

If $f$ and $g$ are homotopic, the maps

coincide:

because $\partial_A(a)=0$ and $[\partial_B(\cdot)]=0$

The motivation of this definition is best seen in the prism operator

[Cohomological version]

Let $f$, $g:A^\ast\longrightarrow B^\ast$ be complex homomorphisms. A homotopy between $f$ and $g$ is a family of maps $K:A^k\longrightarrow B^{k-1}$

with $\mathrm{d}_B\circ K+K\circ \mathrm{d}_A=f-g:A^k\longrightarrow B^k$ for all $k$

If $f$ and $g$ are homotopic, the maps

coincide:

because $\mathrm{d}_A(a)=0$ and $[\mathrm{d}_B(\cdot)]=0$

The motivation of this definition is best seen in the $K$ operator in the cohomology of homotopic maps