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…