6
$\begingroup$

Can anyone explain to me Yoneda Lemma proof in great details? i.e. they usually say " ... it is easy to see that these morphisms are inverse to each other.." without explanation.

  • 7
    Perhaps it would be better if you explained what parts of the Yoneda lemma's proof you understand, and we can help with the bits that are unclear? If the only problem is understanding why the Yoneda embedding is fully faithful, there are two steps. For faithful, if a morphism $f$ is sent to a natural transformation $\eta$ in the functor category, we can recover $f$ by applying $\eta$ to the identity map. Therefore, no two different maps can be sent to the same transformation. For full, the definition of natural transformation implies that the image of the identity map determines everything.2011-12-25
  • 3
    You would learn more if you try it yourself.2012-01-05
  • 2
    Probably the most detailled proof can be found in Tom Leinster's new book "Basic Category theory".2015-04-23

1 Answers 1