Isn't this what a homotopy category is for though?