Accessible $\infty$-cosmoi

Abstract

We introduce the notion of an accessible $\infty$-cosmos and prove that these include the basic examples of $\infty$-cosmoi and are stable under the main constructions. A consequence is that the vast majority of known examples of $\infty$-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 $\infty$-cosmoi have flexibly weighted homotopy colimits.

36 pages. v2 published version

References in corpus (1)

• Accessible aspects of 2-category theory

Cited by in corpus (3)

• Adjoint functor theorems for homotopically enriched categories
• Nerves of generalized multicategories
• On $2$-categorical $\infty$-cosmoi