Introduction to higher category theory

Course Material


This course will be an introduction to higher category theory focussing on the approach via ∞-categories.


The main reference will be Lurie's book "Higher topos theory". More specifically, we will begin by describing the rudimentary features of the theory of ∞-categories, and then move on to a more systematic study via model categories, comparison results with other models, limits and colimits, applications in the context of derived categories, and more.



Familiarity with basic concepts from category theory and algebraic topology will be useful, but we will review those aspects that are relevant for this course.

Final Exam

Oral exam. Admission requirement: 50% of points on the homework problems.