论文标题
解构与磁带图的关系
Deconstructing the Calculus of Relations with Tape Diagrams
论文作者
论文摘要
带有有限双重的钻机类别是具有两种单型产品的类别，其中一种是双重产品，另一个是在其上分布的。在这项工作中，我们提出了磁带图，这是这些类别的声音和完整的图表语言，可以直观地将其视为字符串图的字符串图。我们测试方法的有效性，以抵抗Tarski关系的积极碎片。
Rig categories with finite biproducts are categories with two monoidal products, where one is a biproduct and the other distributes over it. In this work we present tape diagrams, a sound and complete diagrammatic language for these categories, that can be intuitively thought as string diagrams of string diagrams. We test the effectiveness of our approach against the positive fragment of Tarski's calculus of relations.
