Universal element of a set-valued functor
= Universal element of a set-valued functor
The universal element in a <representation of a functor> is the image of $1_A$ under the representing natural isomorphism. Any two universal elements induce unique mutually inverse maps between their representing objects, so representations are unique up to unique compatible isomorphism.