Homotopy category of chain complexes (source code)

= Homotopy category of chain complexes
{wiki=Homotopy_category_of_chain_complexes}

The homotopy category of chain complexes is a fundamental concept in homological algebra and derived categories. It is a way to study chain complexes (collections of abelian groups or modules connected by boundary maps) up to homotopy equivalence, rather than isomorphism.