This thing still confuses me. And it seems every reference I look at states it entirely differently.(adsbygoogle = window.adsbygoogle || []).push({});

I guess I've heard it stated in words -- there is a full embedding of C in Funct(C^{op}, Set). I know what all of the words mean, but I'm not sure if that helps yet.

There's one particular application of it that interests me, and I can't really see how to use it: there's a proof that shows the existance of a natural transformation Hom(_, A) --> Hom(_, B).

From this, they then conclude (by the Yoneda lemma!) that this natural transformation must come from a uniquely determined map A --> B. (The existance of this map is what interests me)

How does that follow?

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Yoneda lemma

Loading...

Similar Threads - Yoneda lemma | Date |
---|---|

A Last Gauss Lemma Section II | Feb 4, 2018 |

I Proving a lemma on decomposition of V to T-cyclic subspace | Mar 16, 2017 |

I Multiplication Maps on Algebras ... Bresar, Lemma 1.25 ... | Dec 5, 2016 |

I Bresar, Lemma 1.3 - Real Quaternions ... Division Algebras | Nov 20, 2016 |

**Physics Forums - The Fusion of Science and Community**