cat.boffosocko.com
Course Notes / Online Texts
Daniele Turi – Laboratory for Foundations of Computer Science, University of Edinburgh, September 1996 – December 2001 Eugenia Cheng – Category Theory, Michelmas, 2002 [pdf] Tom Leinste…