Comment Comment by _fullpint Isn't this what a homotopy category is for though? parent _fullpint 4 years ago