On $2$-categorical $\infty$-cosmoi
Category Theory
2025-09-15 v2
Abstract
Recently Riehl and Verity have introduced -cosmoi, which are certain simplicially enriched categories with additional structure. In this paper we investigate those -cosmoi which are in fact -categories; we shall refer to these as -cosmoi. We show that each -category with flexible limits gives rise to a -cosmos whose distinguished class of isofibrations consists of the normal isofibrations. Many examples arise in this way, and we show that such -cosmoi are minimal as Cauchy-complete -cosmoi. Finally, we investigate accessible -cosmoi and develop a few aspects of their basic theory.
Keywords
Cite
@article{arxiv.2305.16002,
title = {On $2$-categorical $\infty$-cosmoi},
author = {John Bourke and Stephen Lack},
journal= {arXiv preprint arXiv:2305.16002},
year = {2025}
}
Comments
V2 - corrected grant information