| Content | Time and Place | Chat | Material | Plan | Exams |

Category Theory (WiSe 2026/27)

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

Content

The lecture is a first introduction to category theory, following the book Category Theory by Awodey.

Time and Place

TBA

Chat

Zulip Stream #TCS-26W27-CT

Material

The lecture follows the book

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

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

For mock exams, see Exams below.

Additional resources:

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

  • Emily Riehl, Category Theory in Context

  • Bartosz Milewski, Category Theory for Programmers

Plan

TerminInhalte
12.10Book Chapter 1, Categories
19.10Book Chapter 2, Abstract structures
26.10Book Chapter 3, Duality
02.11Book Chapter 4, Groups and categories
09.11Book Chapter 5, Limits and colimits
16.11Book Chapter 5, Limits and colimits
23.11Book Chapter 6, Exponentials
30.11Book Chapter 7, Naturality
07.12Book Chapter 8, Categories of diagrams
14.12Book Chapter 8, Categories of diagrams
21.12Book Chapter 9, Adjoints
winter break
11.01Book Chapter 9, Adjoints
18.01Book Chapter 10, Monads and algebras
25.01Book Chapter 10, Monads and algebras
01.02TBA

Exams