The homotopy category is a homotopy category