It took me five days to understand the yoneda lemma, it has a lot of moving parts. Here's my own proof of the contravariant functor version. Alt text is the pdf. Enjoy!
0

If you have a fediverse account, you can quote this note from your own instance. Search https://hj.9fs.net/spew/p/1767975862.527691 on your instance and quote it. (Note that quoting is not supported in Mastodon.)