Category Theory

Notes

• Lecture Notes by Andrew Pitts and Marcelo Fiore

Lectures

• Lectures 1&2
• Lectures 3&4
• Lectures 5&6
• Lectures 7&8
• Lectures 9&10
• Lectures 11&12

Exercises

• Sheet 1
• Sheet 2
• Sheet 3

Example classes

There will be one-hour example classes by Sanjiv Ranchod to provide help with the exercises on Tuesdays 15:00-16:00 in FS07.

Please use the discussion forum to ask questions in advance of the exercise classes so that Sanjiv knows what needs discussing during them.

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.
• Rough notes on presheaves, 2001.