Preparing to prove homotopy category is triangulated

It is _utterly_ the same as for the homotopy category of
complexes in an additive category.