# Proof of Yoneda Lemma

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.

-
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. –  Aaron Dec 25 '11 at 9:24
thanks for the comment. –  user17090 Dec 25 '11 at 10:13
You would learn more if you try it yourself. –  Martin Brandenburg Jan 5 '12 at 13:37