Accessible \(\infty \)-cosmoi (Q2684772)

The theory of \(\infty\)-categories has experienced an explosion of interest in recent years, multiple approaches having emerged to multiple definitions of \((\infty,1)\)-category or multiple models in the usual parlance, prominent examples of which include quasicategories, complete Segal spaces, and Segal categories. Over a number of years, Riehl and Verity have been unfurling a model-independent approach under the name of \(\infty\)-\textit{cosmos}, and their theory has now attained a high level of power and sophistication [\textit{E. Riehl} and \textit{D. Verity}, Elements of \(\infty\)-category theory. Cambridge: Cambridge University Press (2022; Zbl 1492.18001)]. In a joint work [Adv. Math. 412, Article ID 108812, 52 p. (2023; Zbl 1502.18014)] with \textit{L. Vokřínek}, the authors established a very general homotopical adjoint functor theorem for enriched categories as a generalization of Freyd's celebrated General Adjoint Functor Theorem (GAFT), the authors' motivation lying in the study of \(\infty\)-cosmoi, which are in fact certain simplicially enriched categories. In the case of ordinary categories, the solution set condition appearing in the GAFT is to be simplified by use of the theory of \textit{accessible} categories [\textit{J. Adámek} and \textit{J. Rosický}, Locally presentable and accessible categories. Cambridge: Cambridge University Press (1994; Zbl 0795.18007); \textit{M. Makkai} and \textit{R. Paré}, Accessible categories: The foundations of categorical model theory. Providence, RI: American Mathematical Society (1989; Zbl 0703.03042)]. This paper introduces a notion of accessibility for \(\infty\)-cosmoi stronger than that of the earlier paper because of the good stability properties it enjoys. A precursor to the present work is [\textit{J. Bourke}, J. Pure Appl. Algebra 225, No. 3, Article ID 106519, 43 p. (2021; Zbl 1451.18015)] dealing with \(2\)-categories of categorical structures rather than \(\infty\)-cosmoi of \(\infty\)-categorical structures. The synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] is a brief review of the necessary background on \(\infty\)-cosmoi and accessible categories. \item[\S 3] introduces the main concept of accessible \(\infty\)-cosmos, showing that these include the basic examples arising from suitable simplicially enriched model categories. \item[\S 4] studies a first raft of closure properties of accessible \(\infty\)-cosmoi, including \(\infty\)-cosmoi\(\infty\)-cosmoi of isofibrations, slices and duals of \(\infty\)-cosmoi as well as pullbacks of cosmological embeddings. \item[\S 5] is the technical heart of the paper, showing that for an accessible \(\infty\)-cosmos \(\mathcal{K}\), the \(\infty\)-cosmos \(\boldsymbol{Rari}(\mathcal{K})\) of \textit{left adjoint left inverses} in \(\mathcal{K}\) is also accessible. \item[\S 6] establishes the corresponding fact about \textit{trivial fibrations} in \(\mathcal{K}\) with further results on equivalences. \item[\S 7] deduces all remaining closure properties for accessible \(\infty\)-cosmoi by exploiting the results of the previous three sections. \end{itemize}