Yoneda Without (Too Many) Tears

The newly revised chapter from Category Theory II is now a draft stand-alone PDF, Yoneda Without (Too Many) Tears.

All comments and corrections welcome before I perhaps put a revised version on the arXiv. It took me some effort back in the day to get this clear enough in my own mind; and I have tidied up the presentation, perhaps some others might appreciate a helping hand through the proof!

The post Yoneda Without (Too Many) Tears appeared first on Logic Matters.