A universal property of an object $c \in \mathsf{C}$ is expressed by a representable functor $F$ together with a universal element $x \in Fc$ that defines a natural isomorphism $\mathsf{C}(c,-) \cong F$ or $\mathsf{C}(-,c) \cong F$, as appropriate, via the Yoneda lemma.