Yoneda’s Lemma (Pt. I)
Point of Post: In this post we discuss the Yoneda lemma, the Yoneda embedding, and associated corollaries.
Motivation
Yoneda’s lemma is one of those theorems that pop up periodically in mathematics that are best described as “easy to understand, hard to get.” By this, I mean that it’s really not too hard (assuming your comfortable with categories) to understand the statement of Yoneda’s lemma, and really not any more difficult to understand the proof. That said, it’s hard to ‘get’ what Yoneda’s lemma says, and why it is so very important. So, what is this lemma? The basic premise of Yoneda’s lemma starts with a simple sort of observation about categories. Namely, there are technically two ingredients to defining a category: the objects and the arrows. That said, as one progresses on their categorical journey through mathematical life one begins to realize a startling fact–the objects aren’t important. Well, to be more precise, the objects really serve mainly as a convenient way to index arrows, which tells us when we can compose two arrows. Intuitively then we should be able to consider the arrows in category ending at some object as being some sort of ‘idealized representation’ of . Of course, for this intuition to have any sort of rigorous grounding we’d like this representation to be “faithful” in the sense that we’d like to be able to distinguish between different objects by their corresponding set of arrows. Of course, doing category theory where we really only care about things up to isomorphism what we really mean is that we’d like to be able to tell nonisomorphic things apart by looking at their corresponding set of arrows. In a very rough sense Yoneda’s lemma tells us that this, in fact, true. Namely, that if (whatever that’s supposed to mean) that .
That was all easy, right? The statement of Yoneda’s lemma is really not that astounding sounding at first, but this precisely the trap that we alluded to. So, what does Yoneda’s lemma really help us with? Stealing a turn of phrase from Tom Leinster one can conceptulaize as “‘s view from “, and then Yoneda’s lemma can be thought of as saying “If and look the same from every vantage point, they must be isomorphic.” So what though? That’s cool and all, but is it really that profound. Yes, yes it is. In fact, at the risk of sounding dramatic, Yoneda’s lemma provides a uniform methodological approach to studying any class of mathematical objects. Indeed, Yoneda’s lemma tells us that if we want to know the true character of an object we should study for all the objects we can muster. Intuitively, each object “probes” via adding a small piece of the puzzle to the overall tapestry that is , which tells us “something” about . For example, the fact that really gives a pretty important group theoretic (partial) picture of .
Of course, it should be conceptually clear that if we can completely characterize (up to isomorphism) objects by looking at the morphisms into them then we should also be able to characterize the objects by the set of morphisms out of them.
So, let’s see if we can use the above to see why it makes sense that certain subjects are so powerful. To this end, let’s think about something for a second. Suppose that an object sits isomorphically inside some object (think of the more common, concrete categories, if it helps at this point). Then, studying and is somewhat redundant since so that intuitively contains the information of –using our metaphor, the piece of the puzzle corresponding to sits on top of making useless in the pursuit of “covering” the puzzle. More precisely, this tells us that if we can find a class of objects for which all objects embed into one of these then to understand an object it really suffices to look at for all . So, let’s consider some classic examples where a there is a ‘representative’ class of objects, for which all objects embed into. Probably the first that should come to mind is Cayley’s theorem which tells us that every group embeds into for some set . Thus, to find out the group theoretic properties of some group the above discussion seems to indicate we can learn a lot by studying for all sets –of course, this is definitely true as is extolled in the well learned notion of group actions. But, permutation groups are a little bare, no? It would be preferable if we could somehow find a class of groups in which all groups embed into that have “extra structure” so we could use that extra structure to study the Hom groups. The answer, for finite groups, lies in the fact that as permutation matrices so that from the above we could benefit greatly from studying for all –of course, this is wholly true as is seen in the beautiful and useful study of (complex) representation theory of finite groups. As a last example, let’s consider unital rings. We know then that every ring embeds into the endomorphism group of an abelian group. Thus, the above description suggests that to understand a unital ring we should look at unital ring homomorphisms for some abelian group –of course, this is the same thing as saying to understand a unital ring we should look at the modules over . Once you understand Yoneda’s lemma, and its consequences the reason we study a lot of the things we do, makes a lot more sense.
Yoneda’s Lemma
Ok, so how are we going to make the above formal? The key idea is that instead of actually considering the set of all arrows in or out of some given object we should consider the covariant and contravariant Hom functors associated to that object which, in essence, is the set of all arrows only in “function form”. In particular, if is a category we can consider the functor category which we shall denote by . What we then want to consider is an association which sends an object to it’s associated contravariant Hom functor . What we’d like to do is make this into a functor somehow. Namely, we want to figure out a way to associate an arrow to a natural transformation , but how? Namely, given an object in we need to figure out how to create an arrow , but it’s obvious how! Namely, we do the old standby by defining to be the mapping given by . The only thing to check is that this satisfies the naturality condition in . In other words, if is some arrow in where is some arrow in we need to verify that the following diagram commutes
To do this, let then we have that
and
.
Thus, we see that , as defined above, really is a natural transformation . So, we have a mapping on both objects and arrows, so let’s verify that it’s actually functorial. But, this really entails checking that , but this is clear since . Thus, we see that splits across compositions, and so it remains to check that respects identities. But, this is clear since .
From the above we can really conclude that the association defined above is a functor. It’s so important that it’s given a special name, and special symbol. Indeed, instead of we denote this functor by (if you’re curious, that’s not a weird eta, it’s a capital Fraktur Y) and call it the covariant Yoneda embedding. Wait, what’s an embedding? Intuitively an embedding is a functor which respects the domain category to an extreme degree, in the sense that there is zero “distortion” caused by the functor. Formally, a functor is called an embedding if it’s full, faithful, and injective on objects. The importance of Yoneda’s lemma, as we’re about to discuss, is the theorem (somewhat confusing, considering the name) that the Yonedea embedding really is an embedding.
References:
[1] Mac, Lane Saunders. Categories for the Working Mathematician. New York: SpringerVerlag, 1994. Print.
[2] Adámek, Jirí, Horst Herrlich, and George E. Strecker. Abstract and Concrete Categories: the Joy of Cats. New York: John Wiley & Sons, 1990. Print.
[3] Berrick, A. J., and M. E. Keating. Categories and Modules with Ktheory in View. Cambridge, UK: Cambridge UP, 2000. Print.
[4] Freyd, Peter J. Abelian Categories. New York: Harper & Row, 1964. Print.
[5] Rotman, Joseph J. Introduction to Homological Algebra. SpringerVerlag. Print.
[6] Herrlich, Horst, and George E. Strecker. Category Theory: An Introduction. Lemgo: Heldermann, 2007. Print.
January 14, 2012  Posted by Alex Youcis  Algebra, Uncategorized  Algebra, Category Theory, Consequences, Intuition, Meaning, Use, Yoneda Embedding, Yoneda's Lemma
5 Comments »
Leave a Reply Cancel reply
About me
My name is Alex Youcis. I am currently a senior a first year graduate student at the University of California, Berkeley.
About Me
Blogroll
 Absolutely Useless
 Abstract Algebra
 Annoying Precision
 Aquazorcarson's Blog
 Bruno's Math Blog
 Chris' Math Blog
 Climbing Mount Bourbaki
 E. Kowalski's Blog
 Geometric Group Theory
 Geometry and the Imagination
 Gower's Weblog
 Hard Arithmetic
 HardyRamanujan Letters
 Ngô Quốc Anh's Blog
 Project Crazy Project
 Rigorous Trivialities
 Secret Blogging Seminar
 SymOmega
 TCS Math
 Unapologetic Mathematician
 What's New
Lecture Notes
Categories
Top Posts
 Munkres Chapter 1 Section 2
 A Classification of Integers n for Which the Only Groups of Order n are Cyclic (Pt. I)
 Every Short Exact Sequence of Vector Spaces Splits
 Munkres Chapter 2 Section 19 (Part I)
 Free Modules (Pt. II)
 A Classification of Integers n for Which the Only Groups of Order n are Cyclic (Pt. II)
 Second Orthogonality Relation For Irreducible Characters
 Munkres Chapter 1 Section 1
 The Hom Functor is Left Exact
 Munkres Chapter 2 Section 17

Algebra Algebraic Combinatorics Algebraic Topology Analysis Answers Category Theory Chapter 2 Characters Character Theory Class Functions Compactness Complex Analysis Connectedness Derivative Differential Geometry Differential Topology DIrect Limit Direct Limits Examples Exterior Algebra Field Theory Finite Dimensional Vector Spaces Full Solutions Functor Galois Theory Geometry Group Group Actions Group Algebra Groups Group Theory Halmos Homological Algebra Homomorphism Homotopy Ideals Induced Character Induced Representation Intuition Inverse Limit Irreducible Characters Irreps Isomorphism Linear Algebra Linear Transformations Manifolds Matrices Module Modules Module Theory Motivation Multivariable Analysis Munkres Normal Subgroups Number Theory Permutations PID Polynomials Prime Ideals Products Product Topology Projections Representation Theory Review of Group Theory Riemann Surfaces Ring Rings Ring Theory Rudin Solutions Sylow Theorems Symmetric Group Tensor Product Topology Total Derivative
[…] Yoneda Lemma (Pt. II) Point of Post: This is a continuation of this post. […]
Pingback by Yoneda Lemma (Pt. II) « Abstract Nonsense  January 18, 2012 
[…] the covariant Hom functors associated to and are naturally isomorphic, and then appeal to Yoneda’s lemma to conclude that they are naturally […]
Pingback by Tensor Products Naturally Commute with Direct Limits « Abstract Nonsense  January 19, 2012 
[…] particular, we like to compute the homomorphism group/module if not for practical reasons then for purely philosophical ones. Thus, in this post we shall prove that the Hom functor itself has a certain kind of ‘partial […]
Pingback by The Hom Functor is Left Exact « Abstract Nonsense  January 30, 2012 
[…] suppose for a second that was such an object. What we have then is a natural isomorphism . But, Yoneda’s lemma tells us that we can associate to this an element defined by . But, of course we see that is […]
Pingback by Equalizers and Coequalizers (Pt. I) « Abstract Nonsense  February 22, 2012 
[…] so by Yoneda’s lemma . While the basic idea is neat it does not actually prove continuity. I am not saying that one […]
Pingback by Continuous and Cocontinuous Functors (Pt. II) « Abstract Nonsense  April 15, 2012 