ITI9200 - Introduction to Category Theory and its Applications
When
| Thursday | 16:00 - 17:30 | SCI-059 |
| Friday | 17:15 - 18:45 | SCI-059 |
First lecture: Thursday 06.02.2025
Last lecture: Friday 23.05.2025
Who
- (teacher) Fosco Loregian (fosco.loregian@taltech.ee)
- (co-teacher) Andrea Laretto (andrea.laretto@taltech.ee)
If you want to meet me, (email to agree on a time, and) come to CYB building - Akadeemia tee 15/2, 12618 Tallinn.
What
An introductory course on category theory and its applications.
Good references for studying category theory are:
| Tom Leinster | Basic Category Theory | Perfect for the real beginner. | |
| Steve Awodey | Category Theory | Particularly suited for logicians. | |
| Micheal Barr & Charles Wells | Category Theory for Computing Science | Particularly suited for computer scientists. | |
| Emily Riehl | Category Theory in Context | A fresh, detailed guide to the ideas of category theory. | |
| Francis Borceux | Handbook of Categorical Algebra | A monumental treatment of category theory, across three volumes. | |
| Saunders Mac Lane | Categories for the Working Mathematician | The classic and definitive text on category theory, written by its founding father. |
Lectures' LOG
Exercises
Something will appear here in due time [...]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.