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 2025-26. See you on January 2027!