- The 2-category theory of quasi-categories 84p https://arxiv.org/abs/1306.5144
- Homotopy coherent adjunctions and the formal theory of monads 79p https://arxiv.org/abs/1310.8279
- Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions 33p https://arxiv.org/abs/1401.6247
- Fibrations and Yoneda’s lemma in an ∞-cosmos 75p https://arxiv.org/abs/1506.05500
- Kan extensions and the calculus of modules for ∞-categories 84p https://arxiv.org/abs/1507.01460