エミリー＆ドムは五部作だった

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