Justin Pearson

IT - Category Theory for Programmers.

PhD reading course going through Bartosz Milewski's book on Category theory. Mostly organised by Nikolaus Huber.

Information can be found on:

Some Additional Resources.

  • A good collection of Links on category theory.

  • Tom Leinster's excellent book is available free online.

  • Some notes that might be useful. If you don't read the notes, then a look at the references, which has pointers to a lot of good resources.

  • Emily Riehl's Book Category Theory in Context contains lots of examples of common constructions in category theory. Some of the examples might require some background in algebra. You can also buy the book quite cheaply from Dover