Triangulating homotopy equivalences