There was some discussion here about special cases of Yoneda's lemma, including the usual examples of Cayley's theorem for groups and Dedekind's embedding theorem for posets.

It also seems that a good chunk of Tannaka duality can be seen as an application of the (enriched) Yoneda lemma -- see the nLab page for discussion.

There was some discussion here about special cases of Yoneda's lemma, including the usual examples of Cayley's theorem for groups and Dedekind's embedding theorem for posets.

It also seems that a good chunk of Tannaka duality can be seen as an application of the (enriched) Yoneda lemma -- see the nLab page for discussion.