Infinity categories

This is the trickiest part. What one needs to know is "how infinity-categories work", but not necessarily how the theory is constructed (whether via quasi-categories, topological categories or complete Segal spaces). Below are some suggestions for the sources where to read up on this.

• 1. Dennis Gaitsgory finds reading Section 1 of Lurie's Higher Topos Theory most helpful. The idea is to understand the spirit of things, and then try to apply it yourself.

  2. Dustin Clausen recommends Lurie's infinity-topoi paper.

  3. David Ben-Zvi recommends notes by H. Tanaka (available for download below). 

  4. Once somewhat familiar with the language, upon the recommendation of both Dustin and Jacob, it is a good idea to read this paper by Ben-Zvi, Francis, and Nadler just to see how the theory is applied.

  5. As examples of self-taught application of the theory, it may be a good idea to familiarize yourself with Gaitsgory's notes on stacks and quasi-coherent sheaves. Another good reason to study these texts is that they can serve as a background reading for the (technically crucial) Lecture 1.2.

  6. Another good survey of the basic facts is Section 2.1 of Toen's paper 'Derived Algebraic Geometry' and Section 1 of Chern character paper by Toen and Vezzosi.

  7. Going back to the general theory, Sam Raskin suggests the survey by Omar Camarena.

  8. Returning to the foundations, David Nadler suggests the following three papers:

     1. • Bergner, A survey of (∞,1)-categories

        • Bergner, Models for (∞,n)-categories and the cobordism hypothesis

        • Barwick and Schommer-Pries, On the Unicity of the Homotopy Theory of Higher Categories