Category theory in context (Prof. Dr. Ralf Meyer

Welcome to the reading class Category theory in context, based on the text book by Emily Riehl of the same title. I offered this course in the summer term 2019 and recorded the classes for the sake of a few students who could not attend in person. A few recordings were redone in 2021 when I offered the course once again. I have offered this course as a reading course several times, usually with exercise sessions in parallel.

The recorded lectures and the exercises used in the Winter Term 2021–22 are listed below. When I offered this course as a usual presence teaching course, it had 27 lectures plus exercise sessions. Usually, each class is recorded in two pieces because of a break in between, some lectures have one or three pieces instead. This explains the numbering below. The topic is usually a section from the text book by Emily Riehl. A few lectures do not follow the book and have a different title.

When you follow this class as a reading course, two lectures and one exercise sheet per week would be the obvious pace to aim for. I intend to offer this course regularly at Göttingen university as a reading course. This means that I offer the material below, together with weekly discussion sessions with the students taking this class.

Links to recorded lectures

Lecture Topic and Recording Link
Lecture 01a On the course materials and the learning methods
Lecture 01b General introduction, why is category theory important?
Lecture 01c Section 1.1
Lecture 02a Section 1.2
Lecture 02b Section 1.3 part 1
Lecture 03 Section 1.3 part 2 and Section 1.4 part 1
Lecture 04a Section 1.4 part 2
Lecture 04b Section 1.5 part 1
Lecture 05a Section 1.5 part 2
Lecture 05b Section 1.5 part 3
Lecture 06 Section 1.6 and Section 1.7 part 1
Lecture 07a Section 1.7 part 2
Lecture 07b Section 1.7 part 3
Lecture 08a Section 2.1
Lecture 08b Section 2.2
Lecture 09a Section 2.3 part 1
Lecture 09b Section 2.3 part 2 and Section 2.4 part 1
Lecture 10a Section 2.4 part 2
Lecture 10b Section 3.1 part 1
Lecture 10c Section 3.1 part 2
Lecture 11a Section 3.1 part 3
Lecture 11b Section 3.2
Lecture 12a Section 3.3 part 1
Lecture 12b Section 3.3 part 2
Lecture 13a Section 3.3 part 3
Lecture 13b Section 3.4
Lecture 14a Section 3.5 part 1
Lecture 14b Section 3.5 part 2
Lecture 14c Section 3.6
Lecture 15a Section 3.7
Lecture 15b Section 3.8 part 1
Lecture 16a Section 3.8 part 2
Lecture 16b Section 3.8 part 3
Lecture 17a Projective and inductive systems in functional analysis
Lecture 17b Inductive limits in 2-categories and crossed products
Lecture 18 Section 4.1 and Section 4.2
Lecture 19a Section 4.3
Lecture 19b Section 4.4
Lecture 20a Section 4.5 part 1
Lecture 20b Section 4.5 part 2
Lecture 21a Section 4.6 part 1
Lecture 21b Section 4.6 part 2
Lecture 22a Section 4.6 part 3
Lecture 22b Section 5.1
Lecture 23a Section 5.2 part 1
Lecture 23b Section 5.2 part 2
Lecture 24a Section 5.3 and Section 5.4 part 1
Lecture 24b Section 5.4 part 2
Lecture 25a Section 5.5
Lecture 25b Section 5.6
Lecture 26a Section 6.1
Lecture 26b Section 6.2
Lecture 27a Section 6.3
Lecture 27b Section 6.4

Exercise sheets