Past exam of the mathematics course of the University of Cambridge / 2001 / iii / Paper 17 / 3

Let $\mathcal{C}$ be a locally small category, let $h_A=\mathcal{C}(-,A)$ be a representable presheaf, and let $X:{\mathcal{C}}^{\mathrm{op}}\to \mathbf{Set}$. The Yoneda lemma gives a bijection, natural in $A$ and $X$,For $x\in X(A)$, define a natural transformation ${\alpha }^x:h_A\to X$ byFor $v:C\to B$, the functor composition law gives $X(v){\alpha }_B^x(f)=X(fv)(x)={\alpha }_C^x(fv)$, proving naturality. Conversely, naturality of any $\alpha :h_A\to X$ along $f:B\to A$ givesThus $\alpha$ is determined by its displayed element, and ${\alpha }_A^x(1_A)=x$ proves that the constructions are inverse.

A natural transformation $\theta :X\to Y$ sends the element to ${\theta }_A(x)$, which corresponds to $\theta {\alpha }^x$. A morphism $u:A^{\prime }\to A$ induces $h_u:h_{A^{\prime }}\to h_A$; precomposition by $h_u$ sends the element to $X(u)(x)$. This proves naturality in both variables and completes the Yoneda lemma proof.

The Yoneda embedding sends $A$ to $h_A=\mathcal{C}(-,A)$ and $u:A\to B$ to postcomposition $h_u:h_A\to h_B$. Apply the Yoneda lemma with $X=h_B$:The inverse sends $u$ precisely to $h_u$, because its component at $C$ maps $f:C\to A$ to $uf$. Hence the induced maps on all hom-sets are bijections. The Yoneda embedding is full and faithful.

An isomorphism $f:A\to B$ gives a natural isomorphism $h_f:h_A\to h_B$ by postcomposition, with inverse $h_{f^{-1}}$.

Conversely suppose $\alpha :h_A\to h_B$ is a natural isomorphism, with inverse $\beta$. Since the Yoneda embedding is a full and faithful functor, there are unique $f:A\to B$ and $g:B\to A$ with $h_f=\alpha$ and $h_g=\beta$. Their composites satisfyFaithfulness gives $gf=1_A$ and $fg=1_B$. ThusThe naturality requirement ensures that all incoming morphisms are respected; unrelated componentwise bijections alone would not justify the conclusion.

Here a universal element means a pair $(A,u)$, with $u\in X(A)$, such that for every $B$ and every $x\in X(B)$ there is a unique morphism $f:B\to A$ satisfying $X(f)(u)=x$. Equivalently,By the Yoneda lemma these component maps constitute a natural transformation $h_A\to X$. If $u$ is universal, every component is bijective, so this is a natural isomorphism and $X$ is a representable presheaf. Conversely a natural isomorphism $h_A\to X$ takes $1_A$ to an element $u$ with exactly this property. In the category of elements of the contravariant functor $X$, $(A,u)$ is a terminal object: every $(B,x)$ has a unique arrow to it.