Title of the course: Introduction to Category Theory
Instructor: Dr. Anthony Blanc
Institution: Max Planck Institute
Dates: 7-13 August 2017
Prerequisites: Basic Course in Algebra and Topology
Level: Graduate, advanced undergraduate
Abstract: The goal of the course is of course to introduce the participants to category theory;
first as a language designed to interconnect different types of mathematical objects,
but also to inspire the idea that it is powerful in applications and it has fun and diverse ramifications.
Categories have even become a main character nowadays in some part of Geometry, playing the role of space.
We will talk mostly about the standard concepts: functors, natural transformations, adjoints, representables,
(co)limits, size issues, together with examples. In the end we will set some time to talk about more advanced ones:
monoidal structures, internal algebraic structures and higher dimensional analogues.
Textbook or/and course webpage:
Tom Leinster “Basic Category Theory” Cambridge University Press
Emily Riehl “Category Theory in Context” Aurora, pdf available at the author webpage