What
An introductory course on category theory and its applications; runs during the second semester (January to May) of each academic year.
When / Where
| Thursday | 14.00—15.30 & 16.00—17.30 | SOC-313 |
First lecture: February 5, 2026 / Last lecture: May 21, 2026
Lectures' Log
- Notes for a computer-science friendly version of the course (link)
- 0: Introductions, introduction, organization (link)
Exercises
For the mind
- TBA
For the exam
Through the course (more or less every other week) I will publish a document with 3-4 exercises; you have until the next sheet to solve them. They are part of you final grade.
Grading
The grade will be assigned based on how well you perform on the exercise sheets handed through the course, and a final oral exam. No one stops you from using a robot to learn; embrace the future. But: we are going to have a problem if you come at the whiteboard clueless on how to solve the exercises “you” did.
For the final exam, you can choose a topic from a list, and give a (~30 min+questions) presentation about it. It can relate category theory to whatever you like.
