This course will be an introduction to the foundations of higher category theory focussing on the approach via infinity categories. The main reference will Lurie's book "Higher topos theory". More specifically, we will begin by describing the rudimentary features of the theory of infinity 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.
Oral exam