Hi all! I realized I hadn’t talked about one of the most basic topics in category theory, which has been implicitly used in many of my posts, namely, the Yoneda Lemma. I’ll do so in this brief post.
If is a category, then the Yoneda lemma says that the canonical functor is fully faithful. What is this functor? Any map induces a map by taking any map to . The Yoneda lemma is the following statement.
Yoneda lemma: Let be a functor. There’s an isomorphism .
How do we prove this? Consider a natural transformation , and consider a functor . This induces maps , and maps , and there’s a commutative diagram:
Now, let’s consider what happens to the identity map under this whole thing. We get:
However, because of commutativity, . So the transformation is determined by the map . We therefore get the isomorphism in given simply by taking to , and then evaluating on . This gives , so we’re done!
The point of this result is that it makes precise the awesome philosophy of category theory that the properties of objects are determined by maps into that object. (There’s also a Yoneda lemma for higher categories, which states that if is a simplicial set, then the Yoneda embedding is fully faithful.) Some examples of the Yoneda lemma in “real life” include the following (a very inexhaustive list):
- In simplicial sets: if is a simplicial set, then is simply . This follows from the Yoneda lemma since is the functor .
- In algebraic topology: (singular, say) the -th cohomology group with coefficients in a group is, by Brown representability, simply . Therefore, natural transformations are maps , or, by the Yoneda lemma, maps . These are called cohomology operations.
- If you’ve got a Hopf algebra, then its prime spectrum gives you an affine group scheme.
In general, the moral is that representing objects are unique up to isomorphism which could have similar structures as the functor. I hope this was fun!