Representable Functor

A functor $F:\mathcal{C}\to \mathbf{Set}$ is representable if:

$$F\cong {\text{Hom}}_{\mathcal{C}}(A,-)$$

for some object $A$.

• Represented by $A$
• Yoneda Lemma characterizes these