Can you provide some concrete examples of the Yoneda Lemma in action? How does it apply to specific categories like a category with one element, or the category Grp or Set? What results does it generalize? Is there a canonical route to understanding the statement of the Lemma?
