derived category

homotopy category of chain complexes in an abelian category with inverses to quasi-isomorphisms adjoined