Yoneda Lemma

For any functor $F:\mathcal{C}\to \mathbf{Set}$ and object $A\in \mathcal{C}$:

$$\text{Nat}(\text{Hom}(A,-),F)\cong F(A)$$

• Natural transformations from Hom-functor are uniquely determined by elements of $F(A)$