Category Theory

Notes

• Lecture Notes by Andrew Pitts and Marcelo Fiore

Lectures

• Lectures 1 & 2

Exercises

• Sheet 1
• Sheet 2
• Sheet 3
• Sheet 4
• Sheet 5

Example classes

There will be one-hour example classes to provide help with the exercises.

Please use the discussion forum to ask questions in advance of the exercise classes.

Additional material

See the syllabus for the recommended reading list.

The classic text on category theory is:

• Mac Lane, Saunders. Categories for the Working Mathematician. Graduate Texts in Mathematics 5 (Second Ed.). Springer, 1988.

It is definitely worth looking at if you are feeling mathematically mature.

Another mathematically-oriented but simpler text (with its roots in the long-running course on Category Theory for Part III of the Mathematical Tripos) is:

• Tom Leinster. Basic Category Theory (CUP, 2014).

Further material:

• A student-oriented guide to on-line material on Category Theory is available at http://www.logicmatters.net/categories/.
• Category Theory in the nLab.
• The Catsters' Category Theory Videos.
• Bartosz Milewski's book on Category Theory for Programmers.
• The Applied Category Theory web site.
• Marcelo Fiore's Rough notes on presheaves.