Accessible -cosmoi

DOI10.1016/J.JPAA.2022.107255MaRDI QIDQ2684772zbMATH OpenOpenAlexFDO

Publication date 17 February 2023

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2111.00147

Accessible and locally presentable categories (18C35) Enriched categories (over closed or monoidal categories) (18D20) Homotopical algebra, Quillen model categories, derivators (18N40) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)

Abstract: We introduce the notion of an accessible

i n f t y

-cosmos and prove that these include the basic examples of

i n f t y

-cosmoi and are stable under the main constructions. A consequence is that the vast majority of known examples of

i n f t y

-cosmoi are accessible. By the adjoint functor theorem for homotopically enriched categories which we proved in an earlier paper, joint with Lukas Vokrinek, it follows, for instance, that all such

i n f t y

-cosmoi have flexibly weighted homotopy colimits.

Review text

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}

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Accessible \(\infty \)-cosmoi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2684772)