13.1 Introduction
We first discuss triangulated categories and localization in triangulated categories. Next, we prove that the homotopy category of complexes in an additive category is a triangulated category. Once this is done we define the derived category of an abelian category as the localization of the homotopy category with respect to quasi-isomorphisms. A good reference is Verdier's thesis [Verdier].
Comments (2)
Comment #3654 by Tim Holzschuh on
Comment #3750 by Johan on