Any two injective resolutions (of an object in an abelian category) are homotopy equivalent, but this homotopy equivalence is not unique. This is of course because the lifting property in the definition of "injective" does not require any uniqueness.