English

Accessible $\infty$-cosmoi

Category Theory 2022-12-14 v2

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.

Keywords

Cite

@article{arxiv.2111.00147,
  title  = {Accessible $\infty$-cosmoi},
  author = {John Bourke and Stephen Lack},
  journal= {arXiv preprint arXiv:2111.00147},
  year   = {2022}
}

Comments

36 pages. v2 published version

R2 v1 2026-06-24T07:18:45.123Z