Representable Functors and the Yoneda Lemma

⚡ Key Takeaways

The Yoneda Lemma states that for any locally small category $\mathcal{C}$ , a functor $F:\mathcal{C}\to\mathbf{Set}$ , and an object $A$ , there is a natural bijection $\mathrm{Nat}(\mathcal{C}(A,-),F)\cong F(A)$ . In words: natural transformations out of a representable functor are completely determined by a single element. It applies throughout category theory, algebraic geometry, homotopy theory, and type theory. Proved/named after Nobuo Yoneda (c. 1954, via a famous discussion with Mac Lane).

💡 The Core Insight

To know an object $A$ , it suffices to know the set of arrows into $A$ from every other object, together with how those sets transform under composition. The hom-functor $\mathcal{C}(-,A)$ packages exactly this data, and Yoneda says no information is lost: the functor remembers $A$ up to unique isomorphism. A natural transformation $\mathcal{C}(A,-)\Rightarrow F$ is "as good as" a single element of $F(A)$ , because $\mathrm{id}_A\in\mathcal{C}(A,A)$ is a generic point that the transformation must send somewhere, and naturality forces everything else.

DefinitionHom-Functor

Let $\mathcal{C}$ be locally small (each $\mathcal{C}(X,Y)$ is a set). For a fixed object $A\in\mathcal{C}$ , the covariant hom-functor $h^A=\mathcal{C}(A,-):\mathcal{C}\to\mathbf{Set}$ is defined on objects and morphisms by

1

\quad h^A(X)=\mathcal{C}(A,X),\qquad h^A(f)=f\circ(-):\mathcal{C}(A,X)\to\mathcal{C}(A,Y)\ \text{ for } f:X\to Y.

Derivation hint: post-composition by $f$ sends $g:A\to X$ to $f\circ g:A\to Y$ ; functoriality $h^A(g\circ f)=h^A(g)\circ h^A(f)$ follows from associativity of composition. Dually, the contravariant hom-functor $h_A=\mathcal{C}(-,A):\mathcal{C}^{\mathrm{op}}\to\mathbf{Set}$ sends $X\mapsto\mathcal{C}(X,A)$ and $f:X\to Y$ to precomposition $(-)\circ f:\mathcal{C}(Y,A)\to\mathcal{C}(X,A)$ .

DefinitionRepresentable Functor

A functor $F:\mathcal{C}\to\mathbf{Set}$ is representable if there exists an object $A\in\mathcal{C}$ and a natural isomorphism

2

\quad \eta:\ \mathcal{C}(A,-)\ \xRightarrow{\ \cong\ }\ F.

Derivation hint: a natural isomorphism is a natural transformation with components $\eta_X$ that are bijections for every $X$ ; the pair $(A,\eta)$ is a <strong>representation</strong> of $F$ . A contravariant functor $F:\mathcal{C}^{\mathrm{op}}\to\mathbf{Set}$ is representable if $F\cong\mathcal{C}(-,A)$ . The object $A$ is the representing object; by the universal element correspondence (below) a representation is equivalent to a universal element $u=\eta_A(\mathrm{id}_A)\in F(A)$ .

TheoremThe Yoneda Lemma

Let $\mathcal{C}$ be locally small, $F:\mathcal{C}\to\mathbf{Set}$ a functor, and $A\in\mathcal{C}$ . Then the map

3

\quad \Phi:\ \mathrm{Nat}\bigl(\mathcal{C}(A,-),\,F\bigr)\ \xrightarrow{\ \cong\ }\ F(A),\qquad \Phi(\alpha)=\alpha_A(\mathrm{id}_A),

is a bijection, natural in both $A$ and $F$ . Derivation hint: $\alpha_A$ is the component of the natural transformation at the object $A$ ; evaluating it on the identity morphism $\mathrm{id}_A\in\mathcal{C}(A,A)$ produces an element of $F(A)$ . Naturality in $A$ and $F$ means $\Phi$ commutes with the actions of morphisms $A'\to A$ and natural transformations $F\to F'$ .

TheoremYoneda Embedding

The assignment $A\mapsto\mathcal{C}(-,A)$ defines a functor, the Yoneda embedding,

4

\quad よ:\ \mathcal{C}\ \longrightarrow\ \widehat{\mathcal{C}}:=[\mathcal{C}^{\mathrm{op}},\mathbf{Set}],\qquad A\mapsto \mathcal{C}(-,A),

which is full and faithful: for all $A,B$ ,

5

\quad \mathcal{C}(A,B)\ \cong\ \mathrm{Nat}\bigl(\mathcal{C}(-,A),\,\mathcal{C}(-,B)\bigr).

Derivation hint: apply [3] to the contravariant version with $F=\mathcal{C}(-,B)$ evaluated at the representing object $A$ ; the universal element corresponding to a natural transformation is a morphism $A\to B$ , giving the bijection.

ProofBijectivity of

\Phi

via an explicit inverse

We construct $\Psi:F(A)\to\mathrm{Nat}(\mathcal{C}(A,-),F)$ inverse to $\Phi$ .

Step 1 — Define $\Psi$ . Given $a\in F(A)$ , define a transformation $\Psi(a)$ with components

6

\quad \Psi(a)_X:\ \mathcal{C}(A,X)\to F(X),\qquad \Psi(a)_X(g)=F(g)(a)\quad (g:A\to X).

Derivation hint: $g:A\to X$ induces $F(g):F(A)\to F(X)$ ; apply it to the chosen element $a\in F(A)$ .

Step 2 — $\Psi(a)$ is natural. For $f:X\to Y$ we must show $F(f)\circ\Psi(a)_X=\Psi(a)_Y\circ h^A(f)$ . Evaluating on $g\in\mathcal{C}(A,X)$ :

7

\quad F(f)\bigl(F(g)(a)\bigr)=F(f\circ g)(a)=\Psi(a)_Y(f\circ g)=\Psi(a)_Y\bigl(h^A(f)(g)\bigr).

Derivation hint: functoriality $F(f)\circ F(g)=F(f\circ g)$ supplies the first equality; the definition of $h^A(f)=f\circ(-)$ gives the last.

Step 3 — $\Phi\circ\Psi=\mathrm{id}$ . Compute $\Phi(\Psi(a))=\Psi(a)_A(\mathrm{id}_A)=F(\mathrm{id}_A)(a)=\mathrm{id}_{F(A)}(a)=a$ . Derivation hint: $F$ preserves identities, so $F(\mathrm{id}_A)=\mathrm{id}_{F(A)}$ .

Step 4 — $\Psi\circ\Phi=\mathrm{id}$ . Let $\alpha\in\mathrm{Nat}(\mathcal{C}(A,-),F)$ with $a=\Phi(\alpha)=\alpha_A(\mathrm{id}_A)$ . For any $g:A\to X$ , naturality of $\alpha$ at $g$ gives the commuting square

8

\quad \alpha_X\bigl(g\bigr)=\alpha_X\bigl(h^A(g)(\mathrm{id}_A)\bigr)=F(g)\bigl(\alpha_A(\mathrm{id}_A)\bigr)=F(g)(a)=\Psi(a)_X(g).

Derivation hint: write $g=g\circ\mathrm{id}_A=h^A(g)(\mathrm{id}_A)$ , then apply the naturality square $\alpha_X\circ h^A(g)=F(g)\circ\alpha_A$ to $\mathrm{id}_A$ . Hence $\alpha=\Psi(a)$ . Steps 3–4 show $\Phi$ and $\Psi$ are mutually inverse, proving the bijection. Naturality of $\Phi$ in $F$ and $A$ is checked by chasing the analogous squares. $\blacksquare$

∎

Figure

The Yoneda naturality square:

\mathrm{id}_A

generates everything

mathematician · Nobuo Yoneda | 1930–1996

Japanese mathematician working in homological algebra (notably Yoneda Ext groups and the splice product of extensions). The lemma bearing his name emerged not from a published paper but from a 1954 conversation with Saunders Mac Lane in a Paris train station (the Gare du Nord), after which Mac Lane carried the idea back and popularized it. Yoneda's own contributions to the cohomology of groups and the long exact sequence machinery were substantial, but the lemma's deceptively simple statement made it the lens through which generations learned that objects live through their relationships.

🧠 Intuition

Think of $\mathcal{C}(A,-)$ as the probe "what can map out of $A$ ?". A natural transformation $\alpha:\mathcal{C}(A,-)\Rightarrow F$ is a coherent rule assigning to every arrow out of $A$ an element of $F$ . But every arrow $g:A\to X$ is just $g\circ\mathrm{id}_A$ — it is the image of the identity under post-composition. So once you decide where $\mathrm{id}_A$ goes (an element $a\in F(A)$ ), naturality forces $g\mapsto F(g)(a)$ everywhere. The identity is a generic element: a single seed from which the whole transformation grows. This is why "to specify a map of structured objects, give the image of one universal element" appears all over mathematics — the determinant as a map out of free modules, a group homomorphism out of a free group determined on generators, a continuous map out of a representable space. Representability turns abstract universal properties into concrete elements you can point at.

ExampleRepresenting the forgetful functor on groups

Given: Let $U:\mathbf{Grp}\to\mathbf{Set}$ be the forgetful functor sending a group $G$ to its underlying set $|G|$ . We ask: is $U$ representable, and by which group?

Steps: 1. A representation needs $G_0$ with $\mathbf{Grp}(G_0,G)\cong |G|$ naturally. The free group on one generator is $\mathbb{Z}$ , and a homomorphism $\phi:\mathbb{Z}\to G$ is uniquely determined by $\phi(1)\in |G|$ , with every element achievable. 2. Thus $\mathbf{Grp}(\mathbb{Z},G)\cong |G|$ via $\phi\mapsto\phi(1)$ ; check naturality: for $\psi:G\to H$ , $\psi\circ\phi\mapsto\psi(\phi(1))$ matches $U(\psi)$ applied to $\phi(1)$ . ✓ 3. By Yoneda, natural transformations $U\Rightarrow U$ correspond to elements of $U(\mathbb{Z})=\mathbb{Z}$ . The element $n\in\mathbb{Z}$ gives the transformation $g\mapsto g^n$ ("raise to the $n$ th power"), which is indeed natural.

Answer: $\boxed{U\cong\mathbf{Grp}(\mathbb{Z},-),\ \text{representing object }\mathbb{Z};\quad \mathrm{Nat}(U,U)\cong\mathbb{Z}\ \text{(the power operations)}.}$

ExampleCounting natural transformations between hom-functors on a poset

Given: Let $\mathcal{C}$ be the poset category $\{0\le 1\le 2\}$ , where $\mathcal{C}(i,j)$ has exactly one element if $i\le j$ and is empty otherwise. Compute $\mathrm{Nat}(\mathcal{C}(1,-),\mathcal{C}(0,-))$ .

Steps: 1. By the (covariant) Yoneda Lemma applied with $F=\mathcal{C}(0,-)$ and $A=1$ :

\mathrm{Nat}(\mathcal{C}(1,-),\mathcal{C}(0,-))\cong \mathcal{C}(0,-)\,(1)=\mathcal{C}(0,1).

2. Since $0\le 1$ , the set $\mathcal{C}(0,1)$ has exactly one element. 3. Sanity check directly: a transformation must send $\mathrm{id}_1\in\mathcal{C}(1,1)$ to an element of $\mathcal{C}(0,1)$ — only one choice — and then naturality fixes the rest. (Contrast: $\mathrm{Nat}(\mathcal{C}(0,-),\mathcal{C}(1,-))\cong\mathcal{C}(1,0)=\varnothing$ , since $1\not\le 0$ .)

Answer: $\boxed{|\mathrm{Nat}(\mathcal{C}(1,-),\mathcal{C}(0,-))|=1,\quad |\mathrm{Nat}(\mathcal{C}(0,-),\mathcal{C}(1,-))|=0.}$

⚠️ Common mistake

Local smallness is not optional. The bijection $\Phi$ presumes $\mathcal{C}(A,X)$ is a genuine set so that hom-functors land in $\mathbf{Set}$ . In a category that is not locally small, $\mathcal{C}(A,-)$ may not be definable as a $\mathbf{Set}$ -valued functor and the Yoneda statement fails to even type-check. Also note: the embedding is fully faithful but not surjective on objects — most presheaves are not representable, and a presheaf is representable iff its category of elements has a terminal object.

⚠️ Common mistake

"Naturally isomorphic" $\ne$ "isomorphic in each component." Two functors can have $F(X)\cong G(X)$ for all $X$ (componentwise bijections) without being naturally isomorphic. The Yoneda isomorphism's force comes from naturality — the commuting squares — not mere cardinality matching. Forgetting naturality is the single most common error in applying the lemma.

Counterexample

Consider $\mathcal{C}=\mathbf{Grp}$ and let $F(G)=\mathrm{Aut}(G)$ — but treat it naively as a set-valued assignment ignoring that automorphisms don't transform functorially along arbitrary homomorphisms. There is no functor $\mathbf{Grp}\to\mathbf{Set}$ with $G\mapsto\mathrm{Aut}(G)$ that is covariant in homomorphisms (a non-iso $\phi:G\to H$ gives no induced map on automorphism groups), so asking whether " $\mathrm{Aut}$ is representable" is ill-posed until one fixes the variance/functoriality. The lesson: representability questions require a bona fide functor first; many natural-looking assignments are not functorial at all, so Yoneda does not apply.

connection

The Yoneda Lemma is the technical heart of Universal Properties: a universal element of $F$ is precisely a representation, and uniqueness up to unique isomorphism is the statement that representing objects are unique. It underlies Adjoint Functors — an adjunction $L\dashv R$ is equivalent to natural isomorphisms $\mathcal{D}(L A,B)\cong\mathcal{C}(A,RB)$ , i.e. representability of certain hom-functors. It powers Limits and Colimits, since a limit of $D$ represents the functor $X\mapsto\lim\mathcal{C}(X,D(-))$ , and Yoneda gives the uniqueness. Through the embedding $\mathcal{C}\hookrightarrow[\mathcal{C}^{\mathrm{op}},\mathbf{Set}]$ it connects to Presheaves and Sheaves and the theory of Density and the Co-Yoneda Lemma, where every presheaf is a colimit of representables.

🔬 Where this appears

⏳ History

- 1942–1945 — Eilenberg and Mac Lane introduce categories, functors, and natural transformations, making "naturality" a precise notion and setting the stage.

- 1950s — Hom-functors and representability emerge implicitly in homological algebra (Cartan–Eilenberg).

- c. 1954 — Nobuo Yoneda explains the lemma to Saunders Mac Lane at the Gare du Nord in Paris; Mac Lane disseminates and names it.

- 1958 — Kan introduces adjoint functors, whose theory is intertwined with representability.

- 1960s — Alexander Grothendieck founds the functor-of-points viewpoint in algebraic geometry (EGA/SGA), making representability the organizing principle of scheme theory and moduli.

- 1962 — E. H. Brown proves the Brown Representability Theorem in homotopy theory.

- 1971 — Mac Lane's Categories for the Working Mathematician gives the canonical textbook treatment, cementing notation and the embedding.

- 1990s–2000s — Representability and Yoneda become central to higher category theory (∞-categories, Lurie), via

\infty

-presheaves and the

\infty

-Yoneda Lemma.

- 2010s–present — Formalization in proof assistants (Coq, Lean, Agda) and the HoTT program restate Yoneda constructively and homotopically.

open-problem

Size and largeness. For locally small but large categories, the presheaf category $[\mathcal{C}^{\mathrm{op}},\mathbf{Set}]$ may itself fail to be locally small, and care with Grothendieck universes is needed; controlling these size issues (accessible/presentable categories, the small object argument) is a delicate ongoing concern in foundations. Higher Yoneda. Stating and proving the Yoneda Lemma for $(\infty,1)$ -categories required substantial machinery (simplicial/quasicategorical models); fully synthetic proofs in directed type theory and simplicial type theory are an active research frontier. Constructive and enriched versions. The enriched Yoneda Lemma (over a monoidal $\mathcal{V}$ ) and its constructive content — when does representability hold without choice, and what is its computational meaning — remain areas of refinement, especially as proof assistants demand fully explicit witnesses.

Representable Functors and the Yoneda Lemma

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also