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