增强虚拟双重类别
摘要：虚拟双范畴的概念被扩展为增强虚拟双范畴的概念。增强虚拟双范畴包括具有空的水平目标的细胞。任何增强虚拟双范畴都带有一个内置的“局部小对象”概念，我们描述了使用增强虚拟双范畴作为形式范畴的优势，而不是传统上通过Street和Walters提出的yoneda结构具有“可接受对象”的概念的2-范畴。 如果一个对象具有水平单元，则它是局部小的，我们证明了在存在所有水平单元的情况下，增强虚拟双范畴的概念和虚拟双范畴的概念是相同的。在不假设水平单元的存在的情况下，我们证明了对于增强虚拟双范畴，虚拟双范畴的大部分基本理论（如水平态射的限制和组合）仍然成立。我们在增强虚拟双范畴中引入并研究了水平态射的“逐点”组合的概念，这正式化了由coend公式给出的profuntor的经典组合。
作者：Seerp Roald Koudenburg
论文ID：1910.11189
分类：Category Theory
分类简称：math.CT
提交时间：2022-10-11