追踪幺半范畴作为代数结构在Prof中
摘要：追踪伪幺半体在一个带有额外结构的单系统体系中定义，提供了对Cauchy完备追踪幺半范畴的新特征化，作为在Profunctors中的代数结构。这使得可以使用单系统体系的图形演算来推理追踪，我们详细说明。我们应用这些技术来研究追踪*-自主范畴，证明了左∨-迹和右⊥-迹之间的新等价结果，并描述了一个新的条件，在这个条件下，追踪*-自主范畴变成了自主范畴。
作者：Nick Hu (University of Oxford), Jamie Vicary (University of Cambridge)
论文ID：2112.14051
分类：Category Theory
分类简称：math.CT
提交时间：2021-12-30