加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本