[1] Adams, J. F.: Stable homotopy and generalised homology. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL. Reprint of the 1974 original

[2] Ara, Dimitri: Higher quasi-categories vs higher Rezk spaces. J. K-Theory, 14(3):701–749 MR 3350089

[3] Ayala, David, Francis, John: Fibrations of ∞-categories. High. Struct., 4(1):168–265 MR 4074276

[4] Barwick, Clark: (infinity, n)-Cat as a closed model category. ProQuest LLC, Ann Arbor, MI. Thesis (Ph.D.)–University of Pennsylvania

[5] Bergner, Julia E.: Three models for the homotopy theory of homotopy theories. Topology, 46(4):397–436 MR 2321038

[6] Bergner, Julia E.: A survey of (∞,1)-categories. In Towards higher categories, volume 152 of IMA Vol. Math. Appl., pages 69–83. Springer, New York MR 2664620

[7] Bergner, Julia E., Rezk, Charles: Comparison of models for (∞,n)-categories, I. Geom. Topol., 17(4):2163–2202 MR 3109865

[8] Bergner, Julia E., Rezk, Charles: Comparison of models for (∞,n)-categories, II. J. Topol., 13(4):1554–1581 MR 4186138

[9] Brito, Pedro Boavida de: Segal objects and the Grothendieck construction. In An alpine bouquet of algebraic topology, volume 708 of Contemp. Math., pages 19–44. Amer. Math. Soc., Providence, RI MR 3807750

[10] Bousfield, A. K., Kan, D. M.: Homotopy limits, completions and localizations. Lecture Notes in Mathematics, Vol. 304. Springer-Verlag, Berlin-New York

[11] Calaque, Damien, Scheimbauer, Claudia: A note on the (∞,n)-category of cobordisms. Algebr. Geom. Topol., 19(2):533–655 MR 3924174

[12] Cisinski, Denis-Charles: Higher categories and homotopical algebra, volume 180 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge MR 3931682

[13] Elmendorf, A. D., Křı́ž, I., Mandell, M. A., May, J. P.: Modern foundations for stable homotopy theory. In Handbook of algebraic topology, pages 213–253. North-Holland, Amsterdam

[14] Gagna, Andrea, Harpaz, Yonatan, Lanari, Edoardo: Fibrations and lax limits of (∞,2)-categories. Available as arxiv:2012.04537v1 http://arxiv.org/pdf/2012.04537v1

[15] Gaitsgory, Dennis, Rozenblyum, Nick: A study in derived algebraic geometry. Vol. I. Correspondences and duality, volume 221 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI MR 3701352

[16] Gaitsgory, Dennis, Rozenblyum, Nick: A study in derived algebraic geometry. Vol. II. Deformations, Lie theory and formal geometry, volume 221 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI MR 3701353

[17] Gepner, David, Groth, Moritz, Nikolaus, Thomas: Universality of multiplicative infinite loop space machines. Algebr. Geom. Topol., 15(6):3107–3153 MR 3450758

[18] Heuts, Gijs, Moerdijk, Ieke: Left fibrations and homotopy colimits. Math. Z., 279(3-4):723–744 MR 3318247

[19] Heuts, Gijs, Moerdijk, Ieke: Left fibrations and homotopy colimits II. Available as arxiv:1602.01274v1 http://arxiv.org/pdf/1602.01274v1 MR 3318247

[20] Hirschhorn, Philip S.: Model categories and their localizations, volume 99 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI MR 1944041

[21] Hovey, Mark: Model categories. Volume 63 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI

[22] Joyal, André: Notes on quasi-categories. preprint. Unpublished notes (accessed 08.02.2021)

[23] Joyal, André: The theory of quasi-categories and its applications. Unpublished notes (accessed 08.02.2021)

[24] Joyal, André, Tierney, Myles: Quasi-categories vs Segal spaces. In Categories in algebra, geometry and mathematical physics, volume 431 of Contemp. Math., pages 277–326. Amer. Math. Soc., Providence, RI MR 2342834

[25] Kazhdan, D., Varshavskiı̆, Ya.: The Yoneda lemma for complete Segal spaces. Funktsional. Anal. i Prilozhen., 48(2):3–38 MR 3288174

[26] Lurie, Jacob: Higher topos theory, volume 170 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ MR 2522659

[27] Lurie, Jacob: (infinity, 2)-categories and the goodwillie calculus I. Available as arxiv:0905.0462v2 http://arxiv.org/pdf/0905.0462v2

[28] Lurie, Jacob: On the classification of topological field theories. In Current developments in mathematics, 2008, pages 129–280. Int. Press, Somerville, MA MR 2555928

[29] Lurie, Jacob: Spectral algebraic geometry. Unpublished notes (accessed 08.02.2021), February 2018

[30] Mazel-Gee, Aaron: A user’s guide to co/cartesian fibrations. Grad. J. Math., 4(1):42–53 MR 3999274

[31] Nguyen, Hoang Kim: Covariant & contravariant homotopy theories. Available as arxiv:1908.06879v1 http://arxiv.org/pdf/1908.06879v1

[32] Nikolaus, Thomas, Schreiber, Urs, Stevenson, Danny: Principal ∞-bundles: general theory. J. Homotopy Relat. Struct., 10(4):749–801 MR 3423073

[33] Nikolaus, Thomas, Schreiber, Urs, Stevenson, Danny: Principal ∞-bundles: presentations. J. Homotopy Relat. Struct., 10(3):565–622 MR 3385700

[34] Nuiten, Joost: On straightening for Segal spaces. Available as arxiv:2108.11431 http://arxiv.org/pdf/2108.11431 MR 4709869

[35] Rasekh, Nima: Yoneda lemma for simplicial spaces. Available as arxiv:1711.03160v3 http://arxiv.org/pdf/1711.03160v3 MR 4616631

[36] Rasekh, Nima: Quasi-categories vs. Segal spaces: Cartesian edition. J. Homotopy Relat. Struct MR 4343074

[37] Rasekh, Nima: Univalence in higher category theory. Available as arxiv:2103.12762 http://arxiv.org/pdf/2103.12762

[38] Rasekh, Nima: Yoneda lemma for 𝒟-simplicial spaces. Available as arxiv:2108.06168 http://arxiv.org/pdf/2108.06168 MR 4616631

[39] Rasekh, Nima: Cartesian fibrations and representability. Homology, Homotopy and Applications, 24(2):135–161 MR 4467022

[40] Reedy, Christopher Leonard: Homology of Algebraic Theories. ProQuest LLC, Ann Arbor, MI. Thesis (Ph.D.)–University of California, San Diego

[41] Rezk, Charles: A model for the homotopy theory of homotopy theory. Trans. Amer. Math. Soc., 353(3):973–1007 MR 1804411

[42] Rezk, Charles: A Cartesian presentation of weak n-categories. Geom. Topol., 14(1):521–571 MR 2578310

[43] Riehl, Emily, Shulman, Michael: A type theory for synthetic ∞-categories. High. Struct., 1(1):147–224 MR 3912054

[44] Riehl, Emily, Verity, Dominic: Fibrations and Yoneda’s lemma in an ∞-cosmos. J. Pure Appl. Algebra, 221(3):499–564 MR 3556697

[45] Riehl, Emily, Verity, Dominic: Cartesian exponentiation and monadicity. Available as arxiv:2101.09853 http://arxiv.org/pdf/2101.09853 MR 4768929

[46] Riehl, Emily, Verity, Dominic: Elements of ∞-Category Theory. Cambridge Studies in Advanced Mathematics. Cambridge University Press MR 4354541

[47] Stenzel, Raffael: (∞,1)-categorical comprehension schemes. Available as arxiv:2010.09663v1 http://arxiv.org/pdf/2010.09663v1 MR 4882724

[48] Stevenson, Danny: Covariant model structures and simplicial localization. North-West. Eur. J. Math., 3:141–203 MR 3683375

[49] Toën, Bertrand: Vers une axiomatisation de la théorie des catégories upérieures. K-Theory, 34(3):233–263 MR 2182378

[50] Program, The Univalent Foundations: Homotopy Type Theory: Univalent Foundations of Mathematics. https://homotopytypetheory.org/book, Institute for Advanced Study MR 3204653

[51] Verity, D. R. B.: Weak complicial sets. I. Basic homotopy theory. Adv. Math., 219(4):1081–1149 MR 2450607