Daniele Turi – Laboratory for Foundations of Computer Science, University of Edinburgh, September 1996 – December 2001
Eugenia Cheng – Category Theory, Michelmas, 2002 [pdf]
Tom Leinster – Higher Operads, Higher Categories (arXiv:math/0305049 [math.CT], May 2003)
Eugenia Cheng and Aaron Lauda – Higher-Dimensional Categories: An Illustrated Guide Book (Draft for IMA Workshop, August 2004, 182 pages) [pdf]
Jaap van Oosten – University of Utrecht
Andrew Pitts, University of Cambridge – Category Theory and Logic with additional lecture slides and exercises
Grigore Calugareanu and Ioan Purdea – Examples in Category Theory, 2011