ITI9200 - Introduction to Category Theory and its Applications
When
- Monday 10:00 - 11:30 (ICT-A2)
- Thursday 16:00 - 17:30 (ICO-219)
Last lecture: May 16, 2024.
Who
- Fosco Loregian (fosco.loregian@taltech.ee)
- Nathanael Arkor (nathanael.arkor@taltech.ee)
- Andrea Laretto (andrea.laretto@taltech.ee)
- Michele de Pascalis (michele.de@taltech.ee)
We all are in the CYB building - Akadeemia tee 15/2, 12618 Tallinn
What
An introductory course on category theory and its applications in (computer) science.
Good references for studying category theory are:
- Leinster "Basic Category Theory"
- Awodey "Category theory"
- Barr & Wells "Category Theory for Computing Science"
- Riehl "Category theory in context"
- Borceux "Handbook of categorical algebra", vol. 1-3
- Mac Lane, "Categories for the working mathematician"
Lecture notes
Exercises
Exercise sheets should be submitted to Fosco Loregian by email (fosco.loregian@taltech.ee, write "ITI9200" as subject), or handed in physically at the start or end of a lecture.- Exercise sheet 1 [PDF] (Deadline: 23:59 on 18 March 2024)
- Exercise sheet 2 [PDF] (Deadline: 23:59 on 18 March 2024)
Grading
The grade will be assigned based on two exercise sheets during the lecture course, and a final oral exam. For the final exam, you will choose a topic and give a short presentation about it.
Victor Brauner, Arche-chat, 1948,
Herbert F. Johnson Museum of Art
(Cornell University), Ithaca, NY, US.