English

On $2$-categorical $\infty$-cosmoi

Category Theory 2025-09-15 v2

Abstract

Recently Riehl and Verity have introduced \infty-cosmoi, which are certain simplicially enriched categories with additional structure. In this paper we investigate those \infty-cosmoi which are in fact 22-categories; we shall refer to these as 22-cosmoi. We show that each 22-category with flexible limits gives rise to a 22-cosmos whose distinguished class of isofibrations consists of the normal isofibrations. Many examples arise in this way, and we show that such 22-cosmoi are minimal as Cauchy-complete 22-cosmoi. Finally, we investigate accessible 22-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

R2 v1 2026-06-28T10:45:56.252Z