My favourite: the mapping cone of a morphism in a triangulated category is unique up to non-unique isomorphism. This fact has originated a lot of research in this topic, and it still does.