A central result is that the homotopy category of any abelian model structure is triangulated and characterized by a suitable universal property – it is the triangulated localization with respect to ...