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.