Yoneda's Lemma

So, at last, we can get to Yoneda's lemma, as I [promised earlier][yoneda-promise]. What Yoneda's lemma does is show us how for many categories (in fact, most of the ones that are interesting) we can take the category C, and understand it using a structure formed from the functors from C to the category of sets. (From now on, we'll call the category of sets **Set**.)

So why is that such a big deal? Because the functors from C to the **Set** define a *structure* formed from sets that represents the properties of C. Since we have a good intuitive understanding of sets, that means that Yoneda's lemma
gives us a handle on how to understand all sorts of difficult structures by looking at the mapping from those structures onto sets. In some sense, this is what category theory is really all about: we've taken the intuition of sets and functions; and used it to build a general way of talking about structures. Our knowledge and intuition for sets can be applied to all sorts of structures.

As usual for category theory, there's yet another definition we need to look at, in order to understand the categories for which Yoneda's lemma applies.

If you recall, a while ago, I talked about something called *[small categories][smallcats]*: a small category is a categories for which the class of objects is a set, and not a proper class. Yoneda's lemma applies to a a class of categories slightly less restrictive than the small categories, called the *locally small categories*.

The definition of locally small categories is based on something called the Hom-classes of a category. Given a category C, the hom-classes of C are a partition of the morphisms in the category. Given any two objects a and b in Obj(C), the hom-class **Hom**(a,b) is the class of all morphisms f : a → b. If **Hom**(a,b) is a set (instead of a proper class), then it's called the hom-set of a and b.

A category C is *locally small* if/f all of the hom-classes of C are sets: that is, if for every pair of objects in Obj(C), the morphisms between them form a set, and not a proper class.

So, on to the lemma.

Suppose we have a locally small category C. Then for each object a in Obj(C), there is a *natural functor* corresponding to a mapping to **Set**. This is called the hom-functor of A, and it's generally written: *h*a = **Hom**(a,-). *h*a is a functor which maps from a object X in C to the set of morphisms **Hom**(a,x).

If F is a functor from C to **Set**, then for all a ∈ Obj(C), the set of natural transformations from *h*a to F have a one-to-one correspondence with the elements of F(A): that is, the natural transformations - the set of all structure preserving mappings - from hom-functors of C to **Set** are isomorphic to the functors from C to **Set**.

So the functors from C to **Set** provide all of the structure preserving mappings from C to **Set**.

Yesterday, we saw a way how mapping *up* the abstraction hierarchy can make some kinds of reasoning easier. Yoneda says that for some things where we'd like to use our intuitions about sets and functions, we can also *map down* the abstraction hierarchy.

(If you saw my posts on group theory back at GM/BMs old home, this is a generalization of what I wrote about [the symmetric groups][symmetry]: the fact that every group G is isomorphic to a subgroup of the symmetric group on G.)

Coming up next: why computer science geeks like me care about this abstract nonsense? What does all of this gunk have to do with programming and programming languages? What the heck is a Monad? and more.

[symmetry]: http://goodmath.blogspot.com/2006/04/permutations-and-symmetry-groups.h…
[yoneda-promise]: http://scienceblogs.com/goodmath/2006/06/category_theory_natural_transf…
[smallcats]: http://scienceblogs.com/goodmath/2006/06/more_category_theory_getting_i…

More like this

Today's contribution on category theory is going to be short and sweet. It's an example of why we really care about [natural transformations][nt]. Remember the trouble we went through working up to define [cartesian categories and cartesian closed categories][ccc]? As a reminder: a [functor][…
Let's talk a bit about functors. Functors are fun! What's a functor? I already gave the short definition: a structure-preserving mapping between categories. Let's be a bit more formal. What does the structure-preserving property mean? A functor F from category C to category D is a mapping from C…
Suppose we've got a topological space. So far, in our discussion of topology, we've tended to focus either very narrowly on local properties of **T** (as in manifolds, where locally, the space appears euclidean), or on global properties of **T**. We haven't done much to *connect* those two views.…
Sorry, but I actually jumped the gun a bit on Yoneda's lemma. As I've mentioned, one of the things that I don't like about category theory is how definition-heavy it is. So I've been trying to minimize the number of definitions at any time, and show interesting results of using the techniques of…

John:

I haven't studied functional analysis, but a quick reading of a bit of stuff about the Riesz representation does sound quite similar. I don't think that it's quite the same; from my admittedly limited understanding, I doubt that the hilbert spaces would form a locally small category. But the general flavor of the representation has the same flavor.

Interesting.

Since I am a toplogist by trade, I have an interest in categories.

Why? One of the more common techniques we use is to assign a group to a "sufficiently nice" topological space; this group is called the "fundamental group". This assignment is made by a fuctor from the category of "nice topological spaces" to the category of groups.

For example: a circle gets assigned the infinite cyclic group; a disk gets assigned the trivial group.

To see "fun" applications of this, try picking up a copy of The Knot Book by Colin Adams.

Anyway, my long winded point is that this stuff is useful.