| Content | Time and Place | Online Platforms | Material | Tentative Plan | Exams |

Category Theory (WiSe 2026/27)

Lecture 2 hours, Xu; exercises 2 hours, Guerdi, Maio, Xu.

Content

The lecture is a first introduction to category theory, following the book Category Theory by Awodey. This is a mathematics textbook but it is very self-contained. Familiarity to algebraic structures will be helpful, but is not a requirement, in order to follow this course.

A large part of the exercises will be selected from the book.

Time and Place

• Lectures: Mon., 16-18, c.t. Amalienstr. 73A, Room 211
• Exercises: Wed., 16-18, c.t. Theresienstr. 41, Room C 113

Online Platforms

LSF (Lecture)

LSF (Exercises)

Announcements and course materials will be published via Moodle.

Zulip Stream #TCS-26W27-CT

Material

The lecture follows the book

• Steve Awodey: Category Theory, 2nd Ed., Oxford University Press, 2006

Hand-written notes will be made available during the course of the semester on Moodle.

The exercise sheets will be published on Moodle every Monday and discussed in the tutorial 9 days later.

This is the first time that this course is offered at the LMU, so there is no previous exam. A mock exam is available to help you practice. See Mock Exam below.

Additional resources:

• Tom Leinster, Basic Category Theory, Cambridge University Press, 2014

• Emily Riehl, Category Theory in Context, Dover Publications Inc., 2016

• Bartosz Milewski, Category Theory for Programmers, 2023

Tentative Plan

Exams

• Mock Exam
• Mock Exam Solution