On $$\infty $$-Cosmoi of Bicategories
On $$\infty $$-Cosmoi of Bicategories
复制标题
关于 $$infty $$-Bicategories 的 Cosmoi
DOI：
10.1007/s44007-022-00033-y
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Wattal, Mira
中科院分区：
文献类型：
--
作者：
Riehl, Emily;Wattal, Mira
一个宇宙是发展形式范畴论的环境。在本文中，我们探讨了一些非典型的宇宙的例子，其对象是2类或双类而不是范畴，并比较了形式范畴论，因此编码与经典的2类和双范畴理论。我们希望这项工作将为未来对形式范畴理论的探索提供信息。
An-cosmos is a setting in which to develop the formal category theory of-categories. In this paper, we explore a few atypical examples of-cosmoi whose objects are 2-categories or bicategories rather than-categories and compare the formal category theory that is so-encoded with classical 2-category and bicategory theory. We hope this work will inform future explorations into formal-category theory.