 Uniqueness of functor representations

Two representations of a functor have unique mutually inverse morphisms carrying their specified universal elements to one another. Composing those morphisms preserves each universal element, so injectivity of the representing bijection makes the composites identities. Arbitrary isomorphisms of the underlying objects need not preserve the specified elements.