Category Theory

A course at Midlands Graduate School 2023
Birmingham, 2-6 April 2023

Nicolai Kraus


Overview

Category theory studies mathematical structures and relations between them. It is used in many branches of mathematics and has become a fundamental tool of theoretical computer science.

In this course, we will learn the basics of category theory. No previous knowledge is required. We will start from the very beginning and discuss plenty of examples in order to get a good understanding of some of the fundamental concepts.

Exercises

This course includes four exercise sessions:

Further Reading

Knowing category theory can be extremely useful, but this course can only give you a first taste of the subject. There are many good books on category theory that you can use for further study. The classic one is Some newer and, depending on the reader's background, possibly more accessible introductory books are A much longer list can be found on the nLab.