There seems to be a general sentiment that triangulated categories are not the "correct" notion to use because mapping cones of morphisms are unique, but only up to non-unique isomorphism.

Does anyone know a concrete example of a "proof" or application that we would like to make with them, but which gets hindered because of this property?