丰富余函子的介绍
摘要：在本文中，我们介绍了一种在分布式幺半范畴中丰富的范畴之间的共函子。我们定义了丰富范畴、丰富函子和丰富共函子的双范畴，其中水平和垂直2-范畴的2-单元由丰富自然变换给出，分别对应于函子和共函子之间的丰富自然变换。丰富隧道被定义为兼容的丰富函子和丰富共函子对；而Perrone引入的加权隧道恰好是在加权集合中丰富的隧道。还详细研究了其他几个示例。
作者：Bryce Clarke and Matthew Di Meglio
论文ID：2209.01144
分类：Category Theory
分类简称：math.CT
提交时间：2022-09-05