无偏单调范畴中图示演算的无穷模型
摘要：通过所谓的“弦图”表示的幺半范畴态射的属性（及其辫结和对称导数），尤其是它们对同位变形的价值抵抗性，在范畴论中使用图形计算已经普遍存在自从Joyal和Street于1991年严格确立了图与张量范畴之间的对应关系。然而，我们发现在幺半范畴及其图表的现有理论中，添加一些内容非常重要，目标是扩展到所谓的“无穷幺半范畴”。最重要的是，我们采用了一种对同位变形具有抵抗性的结构，从而用范畴论的方式取代了拓扑细节。在这个过程中，我们以协调的方式将无穷张量积和可数组成引入到图形的形式化中。
作者：Vihaan Dheer
论文ID：2304.03725
分类：Category Theory
分类简称：math.CT
提交时间：2023-04-10