An introductory course on category theory and its applications. Usually runs in the second semester (Jan-May) of each academic year.
The course is over for the year 2024-25. See you on January 2026!