http://users.rsise.anu.edu.au/~okeefe/
This is an unofficial reimagining of the Archive of Formal Proofs
Category Theory to Yoneda's Lemmaby Greg O’Keefe