Introduction to Category Theory and its applications

• Fridays 14:00-15:30, ICT-A2.

Lecture notes

Tentative program for the course.

1. Introduction to category theory. Ed Morehouse.
2. Epis, monos, isomorphisms. Ed Morehouse.
3. Universal properties. Fosco Loregian. A few .hs modules based on this lecture: 1, 2, 3, 4.
4. Functors. Fosco Loregian.
5. Natural transformations. Elena Di Lavore.
6. Limits and colimits. Lecture notes 1, 2, 3, 4 and exercises. Elena Di Lavore.