Webpage of the Compositional Systems and Methods group at TalTech.

Introduction to Category Theory and its applications

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.