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

John Bourke, Stephen Lack

Recently Riehl and Verity have introduced $\infty$-cosmoi, which are certain simplicially enriched categories with additional structure. In this paper we investigate those $\infty$…