Intereting Posts

Calculate the curvature of a parametrized curve
How to Self-Study Mathematical Methods?
Difference between variables, parameters and constants
all complex solutions of $z\sin(z)=1$?
Is computer science a branch of mathematics?
Relation betwen coefficients and roots of a polynomial
The equation $x^n+y^n+z^n=u^n+v^n+w^n=p$, where $p$ is prime.
What is the time complexity of conjugate gradient method?
Determine the PDF of Z = XY when the joint pdf of X and Y is given.
Check if the number $3^{2015} – 2^{2015}$ is prime
Sum of $k$-th powers
Concise proof that every common divisor divides GCD without Bezout's identity?
Is $B = A^2 + A – 6I$ invertible when $A^2 + 2A = 3I$?
Prove that if $a+b+c$ divides $abc$, then $a+b+c$ must be composite.
How to prove $\lim_{n\rightarrow \infty} {a^n \over n!}=0$

Although I know very little category theory, I really do find it a pretty branch of mathematics and consider it quite useful, especially when it comes to laying down definitions and unifying diverse concepts. Many of the tools of category theory seem quite useful to me, such as Mitchell’s embedding theorem, which allows one to prove theorems in any abelian category using diagram chasing. It lets me the ability to treat lots of objects I would not otherwise feel comfortable with as if they were modules over some ring; in essence, I feel like I’ve gained some tools from it.

However, I simply cannot see where to apply the Yoneda lemma to some useful end. This is not to say that I don’t think it is a very pretty lemma, which I do, or that I do not appreciate the aesthetic of being able to study an object in a category by looking at the morphisms from that object, which I also do. And I do find it useful to consider the modules over a ring rather than the ring itself when studying that ring, or to treat groups as subgroups of permutation groups, which are the two applications I’ve heard of the Yoneda lemma. The problem is that I already knew these things could be done. Essentially, I don’t feel like I’ve gained any tools from the Yoneda lemma.

My question is this: how can the Yoneda lemma be applied to make problems more approachable, other than in cases like those I have listed above which can easily be treated without a general result like the Yoneda lemma? Basically, what **new** tools does it give us?

- Morphisms in the derived category
- $GL_n(k)$ (General linear group over a algebraically closed field) as a affine variety?
- Number of birational classes of dimension d, geometric genus 0 varieties?
- Graph of morphism , reduced scheme.
- How do I teach university level mathematics to myself?
- Normal bundle of twisted cubic.

- Category theory without codomains?
- Isomorphism of sheaves
- Category Theory: homset preserves limits
- Which isomorphism of coordinate rings corresponds to isomorphisms of affine varieties?
- Connections of Geometric Group Theory with other areas of mathematics.
- Natural way of looking at projective transformations.
- What's the dual of a binary operation?
- When are kernels (resp. cokernels) finite limits (resp. finite colimits)?
- The category Set seems more prominent/important than the category Rel. Why is this?
- Tensor product by UMP. Is this 'embeddable' in the theory of categories?

Some elaboration on Dylan Moreland’s comment is in order. Consider the gadget $\text{GL}_n(-)$. What sort of gadget is this, exactly? To every commutative ring $R$, it assigns a group $\text{GL}_n(R)$ of $n \times n$ invertible matrices over $R$. But there’s more: to every morphism $R \to S$ of commutative rings, it assigns a morphism $\text{GL}_n(R) \to \text{GL}_n(S)$ in the obvious way, and this assignment satisfies the obvious compatibility conditions. That is, $\text{GL}_n(-)$ defines a functor

$$\text{GL}_n(-) : \text{CRing} \to \text{Grp}.$$

Composing this functor with the forgetful functor $\text{Grp} \to \text{Set}$ gives a functor which turns out to be representable by the ring

$$\mathbb{Z}[x_{ij} : 1 \le i, j \le n, y]/(y \det_{1 \le i, j \le n} x_{ij} – 1).$$

Now, this ring itself only defines a functor $\text{CRing} \to \text{Set}$. What extra structure do we need to recover the fact that we actually have a functor into $\text{Grp}$? Well, for every ring $R$ we have maps

$$e : 1 \to \text{GL}_n(R)$$

$$m : \text{GL}_n(R) \times \text{GL}_n(R) \to \text{GL}_n(R)$$

$$i : \text{GL}_n(R) \to \text{GL}_n(R)$$

satisfying various axioms coming from the ordinary group operations on $\text{GL}_n(R)$. These maps are all natural transformations of the corresponding functors, all of which are representable, so *by the Yoneda lemma* they come from morphisms in $\text{CRing}$ itself. These morphisms endow the ring above with the extra structure of a commutative Hopf algebra, which is equivalent to endowing its spectrum with the extra structure of a group object in the category of schemes, or an affine group scheme.

In other words, in a category with finite products, saying that an object $G$ has the property that $\text{Hom}(-, G)$ is endowed with a natural group structure in the ordinary set-theoretic sense is equivalent to saying that $G$ itself is endowed with a group structure in a category-theoretic sense. I discuss these ideas in some more detail, using a simpler group scheme, in this blog post.

I think one of the classical examples of the Yoneda lemma in action was Serre’s observation that “cohomology operations” (i.e. natural transformations $H^n(X; G) \to H^m(X; H)$ for some $n, m, G, H$) are entirely classified by elements in the cohomology $H^m( K(G, n); H)$ (in view of the fact that Eilenberg-MacLane spaces represent cohomology on the homotopy category). This is not a deep observation once you believe the Yoneda lemma, but it means that one can determine what all possible cohomology operations are by computing the cohomology rings of these spaces $K(G, n)$ (which Serre and others did using the spectral sequence).

This led to the development of the Steenrod algebra, which is the algebra $\mathcal{A}{}{}{}{}$ of all “stable” cohomology operations in mod 2 cohomology; as a result of Serre’s observation and some computation, $\mathcal{A}$ can be explicitly written down via generators and relations. The use of algebraic methods with $\mathcal{A}$ to solve geometric problems is huge, a lot of which has to do with the Adams spectral sequence; this essentially lets one compute (in some favorable cases) stable homotopy

classes of maps in terms of cohomology.

Serre’s observation is literally a consequence of the statement of the Yoneda lemma, but I think the “philosophy” of the Yoneda lemma is also very important; namely, one can characterize an object by how other objects map into it. In algebraic geometry, for instance, many complicated schemes (such as the Hilbert scheme) are literally defined in terms of the functor they represent.

This has the benefit that one can reason about an object without necessarily knowing much about its “internal” structure (which may be prohibitively complex); for instance, one can talk about the tangent space to the Hilbert scheme (or any scheme defined by a moduli problem) in a very concrete way, in terms of that moduli problem evaluated on $\mathrm{Spec} k[\epsilon]/\epsilon^2$.

This answer is much more naive than the others, but I’ll post it anway.

The most standard application of Yoneda’s Lemma seems to be the uniqueness, up to unique isomorphism, of the limit of an inductive or projective system.

See for instance this pdf file by Pierre Schapira, or, more classically, the very beginning of:

Grothendieck, Alexander, Éléments de Géométrie Algébrique (rédigés avec la collaboration de Jean Dieudonné) : III. Étude cohomologique des faisceaux cohérents, Première partie. Publications Mathématiques de l’IHÉS, 11 (1961), p. 5-167.

I don’t see how to prove this uniqueness without using (explicitly or implicitly) Yoneda’s Lemma.

**EDIT A.** Let me try to explain more precisely what I have in mind by taking the example of **final objects**. (This example is given by Grothendieck in Section $(8.1.10)$ page $8$ of the linked text.)

First, let $S$ be the category of sets, and let $C$ be any category. Denote by $C(x,y)$ the set of $C$-morphisms from $x$ to $y$. Let $F:C\to S$ be a contravariant functor.

Say that a **representation** of $F$ consists of an object $a$ of $C$ together with an isomomorphism $F\simeq C(?,a)$. (By an enormous abuse of language, one usually expresses this by saying that $a$ *represents* $F$.)

Yoneda’s Lemma tells us that, to each pair $F\simeq C(?,a)$ and $F\simeq C(?,b)$ of representations of $F$ is attached a perfectly defined isomorphism $a\simeq b$, and that the isomorphisms attached to any three representations of $F$ form a commuting triangle.

So, we won’t get in trouble if, among all representations of $F$, we pick one of them, call the object involved **the** representative of $F$, and denote it by a symbol like $a_F$.

This is something we all do almost always.

(This is explained by Grothendieck in Section $(8.1.8)$ page $7$.)

Going back to our final object, let $s$ be a set with a single element, and $F:C\to S$ the contravariant functor attaching $s$ to any object of $C$. If $F\simeq C(?,\omega)$ is an isomorphism, we say, that $\omega$ is **the** final object of $C$.

This of course applies (as pointed out by Grothendieck in Section $(8.1.9)$ page $7$) to any projective system.

**EDIT B.** This is just a complement to t.b.’s interesting comment, which mentions this answer of ineff’s about adjoint functors.

The interested reader might take a look at Section 1.5 pages 38 to 41 about adjoint functors in this pdf scan taken from the Springer edition of EGA I. More precisely, the scan contains pages 19 to 41 of

Éléments de Géométrie Algébrique I, Volume 166 of Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, A. Grothendieck, Jean Alexandre Dieudonné, Springer-Verlag, 1971.

Apart from this Section on adjoint functors, these pages are essentially contained into the part of the IHES edition of EGA referred to in the previous edit.

This scan (I think) can be read with almost no prerequisite, and I don’t know any other part of Grothendieck’s work for which this can be said.

- Confused by the Bolzano Weierstrass Theorem
- Examples of loops which have two-sided inverses.
- How to prove that $|HK| = \dfrac{|H| \; |K|}{|H \cap K|}$?
- Real part of $(1+2i)^n$
- For every irrational $\alpha$, the set $\{a+b\alpha: a,b\in \mathbb{Z}\}$ is dense in $\mathbb R$
- Polynomial GCD in the presence of floating-point errors
- Finding prime factors by taking the square root
- In how many ways can $1000000$ be expressed as a product of five distinct positive integers?
- What is the intuition behind the definition of the differential of a function?
- Compact space and Hausdorff space
- Square root of a Mersenne number is irrational
- prove $\frac{1}{2}\mathbf{\nabla (u \cdot u) = u \times (\nabla \times u ) + (u \cdot \nabla)u}$ using index notation
- Closure of the span in a Banach space
- How to prove the sum of squares is minimum?
- Is $ d(X) \le s(X)? $