关系的双重范畴
摘要：关系的双范畴本质上是具有强大、离散和函子性的表格记数器的笛卡尔设备，其中某些局部积满足弗洛贝尼乌斯法则。关系的双范畴等同于一种双范畴，它的函子箭头是对某个普通范畴上的关系进行关于适当和稳定分解系统的。这个表征基于Aleiferi最近对跨度双范畴的表征的紧密联系。整个发展可以看作是关于"表格讲故事"或"关系完备的双范畴"概念的双范畴版本的展开。
作者：Michael Lambert
论文ID：2107.07621
分类：Category Theory
分类简称：math.CT
提交时间：2022-11-18