A Simple Intuition for Understanding the Yoneda Lemma

The Yoneda Lemma says:

An object is determined by how every other object maps into it.

Instead of studying an object $X$ directly, study all morphisms into it.

The Hom Functor

For each object $A$ in a category $\mathcal C$, consider

$$\mathrm{Hom}(A,X)$$

the set of arrows from $A$ to $X$.

This defines a functor

$$h_X = \mathrm{Hom}(-,X)$$

called a representable functor.

The Lemma

For any functor

$$F : \mathcal C^{op} \to \mathbf{Set}$$

there is a natural bijection

$$\mathrm{Nat}(h_X,F) \cong F(X)$$

where:

• $\mathrm{Nat}(h_X,F)$ is the set of natural transformations
• $F(X)$ is the value of the functor at $(X)$

Meaning

Every natural transformation

$$\eta : \mathrm{Hom}(-,X)\to F$$

is completely determined by a single element

$$x \in F(X)$$

Why This Works

Evaluate the transformation at the identity morphism:

$$\mathrm{id}_X \in \mathrm{Hom}(X,X)$$

Then

$$x = \eta_X(\mathrm{id}_X)$$

and this one element reconstructs all of $\eta$.

Famous Consequence

If

$$\mathrm{Hom}(-,X) \cong \mathrm{Hom}(-,Y)$$

then

$$X \cong Y$$

Objects are fully encoded by their relationships.

Intuition

Do not ask:

“What is $X$?”

Ask:

“How does everything map into $X$?”

Those mapping patterns are the object.

One Line Summary

$$\boxed{ \mathrm{Nat}(\mathrm{Hom}(-,X),F)\cong F(X) }$$

That is the famous Yoneda Lemma.