在$mathbf{Prof}$中，追踪的融合范畴作为代数结构
摘要：追踪伪幺半群的定义——在单调双范畴中，设定了额外的结构，从而给出了用$mathbf{Prof}$中的代数结构来刻画柯西完备的追踪幺半范畴。这使得我们能够使用单调双范畴的图算法来推理追踪，我们将详细说明。我们应用这些技术来研究追踪$*$-自主范畴，证明了左$otimes$-迹和右$unicode{8523}$-迹之间的新等价关系，并描述了一种新的条件，使得追踪$*$-自主范畴变为自主范畴。
作者：Nick Hu, Jamie Vicary
论文ID：2109.00589
分类：Category Theory
分类简称：math.CT
提交时间：2021-09-03