Introduction to ∞-Categories

This reading group is over

The goal of this reading group is to introduce the basic notions of infinity-categories in the model of quasicategories and make the participants comfortable with how the foundations are built, and how to carry out proofs in this language. This will be done by going through 4 important theorems: Joyal's lifting theorem, Straightning-Unstraightning, the Yoneda lemma and the Adjoint Functor theorem. The main reference will be Markus Lands book "Introduction to Infinity-categories".