homotopy equivalent complexes

Definition

Two complexes and are homotopy equivalent if there exists morphisms of complexes.

such that and are homotopic to and respectively.

Relation to homology

Homotopy equivalent complexes have isomorphic homology.

Proof

This follows from functoriality of homology (the fact that homology is a functor). This gives

and