Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

What is Yoneda's Lemma a generalization of?

I am looking for examples that were known before category theory entered the stage resp. can be known by students before they start with category theory.

Comments are welcome why the following candidates are good or bad ones.

Further examples are welcome!

Candidate #1: Axiom of extensionality (for sets)

A set is uniquely determined/can be recovered from its elements.

Candidate #2: Dedekind completions (for posets)

A completion of a poset S is the set of its downwardly closed subsets, ordered by inclusion. S is order-embedded in this lattice by sending each element x to the ideal it generates.

Candidate #3: Stone's representation theorem (for Boolean algebras)

Every Boolean algebra B is isomorphic to the algebra of clopen subsets of its Stone space S(B).

Candidate #4: Cayley's theorem (for groups)

Every group G is isomorphic to a subgroup of the symmetric group on G.

share|improve this question
    
Since this is a "big list" type question probably with no one best answer, it should be community wiki. –  Kevin H. Lin Jan 21 '10 at 8:12
    
I agree, but cannot find the community wiki check box... –  Hans Stricker Jan 21 '10 at 8:25
    
I found it: done. –  Hans Stricker Jan 21 '10 at 8:30
    
Let me point out that many of these examples would be better called "examples of small concretizations mathoverflow.net/questions/2015/…; I don't know that anyone considered the collection of ALL Hom's to an object X before category theory. Rather, these are examples where the Hom's from very particular objects to X determine X. –  David Speyer Jan 21 '10 at 15:42
    
What does ALL mean: inside a category there are only the other objects of the category? What then is a "very particular object"? –  Hans Stricker Jan 21 '10 at 17:37
show 5 more comments

5 Answers

Bill Lawvere has been known to refer to it as the Cayley-Dedekind-Grothendieck-Yoneda Lemma, which is catchy but only manages to include numbers 2 and 4. I guess I can see what you've got in mind with number 1, but number 3 (Stone) puzzles me. What are you thinking of there?

Here's another one. It's the Yoneda Lemma in the case of one-object categories, i.e. monoids. Let $M$ be a monoid, and write $\tilde{M}$ for its left regular representation. Then for any left $M$-set $X$, there's a natural bijection between elements of $X$ and maps $\tilde{M} \to X$ of $M$-sets.

I don't know how many people meet sheaves before categories, but here's another example. Fix a topological space $X$. For each open set $U$ we have a presheaf (of sets) $\tilde{U}$, which takes value $\{*\}$ on open subsets of $U$ and $\emptyset$ on open sets that aren't subsets of $U$. Then for any presheaf $F$ on $X$, there's a natural bijection between elements of $F(U)$ and maps $\tilde{U} \to X$ of presheaves.

share|improve this answer
add comment

I've always seen it as a generalization of the fact that every function on a space defines a distribution. That is, $C^\infty(M)\subset \mathcal{D}(M)$ (don't know if that's standard, I know very little about distributions except what was covered in a first year course) generalizes to $\mathcal{C}\subset Func(C^{op},Sets)$. And then it lets you talk about whether a functor solution is representable, like whether a distribution solution is a function, etc.

share|improve this answer
3  
I think this is a great illustration, but why talk about functions here? Why not say we look at arbitrary space with euclidean product? Here's what I have in mind: Let $V$ be a vector space with a bilinear form (the analogy is more complete if it is not symmetric, but we can assume it is for simplicity). The bilinear form defines a map $V\to V^*$. The form is non-degenerate if and only if the map is injective. Now Yoneda Lemma says that the pairing' $(A,B)=Hom(A,B)$ is non-degenerate'. (Viewing $Hom$ as inner product seems to be quite common, at least for linear categories.) –  t3suji Jan 21 '10 at 14:03
add comment

The (weak) Nullstellansatz: If $A$ is a finitely generated $\mathbb{C}$-algebra, then $A$ is the zero ring if and only if $\mathrm{Hom}(A, \mathbb{C})$ is empty.

More generally, if $A$ and $B$ are finitely generated $\mathbb{C}$-algebras without nilpotents, then a map $A \to B$ is determined by the map $\mathrm{Hom}(B, \mathbb{C}) \to \mathrm{Hom}(A, \mathbb{C})$ that it induces.

share|improve this answer
    
I would call this a refinement of Yoneda in a special case, but not just a special case. –  Martin Brandenburg Jan 21 '10 at 14:08
    
That's true, but so are a lot of the examples. See my comment on the main question. –  David Speyer Jan 21 '10 at 15:38
1  
This functor of points approach is really one of the most powerful broad approaches in mathematics. It reduces algebraic geometry to covering spaces + commutative algebra. –  Harry Gindi Jan 21 '10 at 18:02
add comment

for graphs

Each node in a countable graph is determined up to conjugacy by a sufficiently large neighbourhood (induced connected subgraph containing the node pointed).

share|improve this answer
    
How is the Yoneda Lemma a generalization of this? –  Tom Leinster Jan 21 '10 at 8:11
    
Very vague: one slogan for Yoneda's lemma is: "An object is determined by its hom-sets." –  Hans Stricker Jan 21 '10 at 8:23
add comment

I like to view Yoneda's lemma as a generalization of the description of Galois coverings in topology. To any functor $F: C \to Set$ we can associate its category of elements $El(F)$. Its objects are pairs $(x,a)$, $a\in C$, $x\in F(a)$. A morphism $f:(x,a)\to (y,b)$ is a morphism $f_*: a \to b$, such that $F(f_*)(x) = y$. Such a category is equipped with a natural projection $Q_F : El(F) \to C$, sending $(x,a)$ to $a\in C$ and a morphism in $El(F)$ to the underlying morphism in $C$. Then it is easy to see that a natural transformation $\mu: (p;\cdot) \to F(\cdot)$ is just the same as a morphism of fibrations over $C$ $$\int \mu: El(p;\cdot) \simeq p/C \to El(F)$$

This is an example of Grothendieck's construction, applied to set-valued functors. It is itself a categorical version of the correspondence between sheaves of sets and their etale spaces in algebraic geometry.

Consider for example $Nat[(p;\cdot);(p;\cdot)]$. By Yoneda's lemma it equals to $Hom_C(p;p)$. This is exactly the fibre of $p/C$ over $C$ under the Grothendieck's construction for $(p;\cdot)$. The whole automorphism of $(p;\cdot)$ is thus determined by the image of $1:p\to p$. This reminds that an automorphism of Galois covering is uniquely defined by choosing the image of one element in the fibre, thus $$Aut(M\stackrel{p}{\to} N) = p^{-1}(x),\;x\in N$$

A morphism of Galois coverings $f:X\to Y$ with $X$ connected is likewise uniquely determined (if it exists) by choosing some element of a fibre of $Y$. If $X$ is contractible, then a morphism always exists. This means that slice categories $p/C \to C$ are actually similar to contractible fibrations. I don't know how far the analogy goes, but via the classifying space functor slice categories really map to contractible spaces, because they have initial objects.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.