Yoneda Lemma for Contravariant Functors

Theorem
Let $C$ be a locally small category.

Let $\mathbf{Set}$ be the category of sets.

Also see

 * Yoneda Lemma for Covariant Functors