Uniqueness of functor representations
= 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.