Lemma 12.13.5. Let $\mathcal{A}$ be an abelian category.

If the maps $f, g : A_\bullet \to B_\bullet $ are homotopic, then the induced maps $H_ i(f)$ and $H_ i(g)$ are equal.

If the map $f : A_\bullet \to B_\bullet $ is a homotopy equivalence, then $f$ is a quasi-isomorphism.

## Comments (0)

There are also: