双单半范畴的图表结构
摘要：双幺半范畴（也称为刚范畴）是具有两种幺半结构的范畴，其中一种分配在另一种上。我们正式定义了纸盒图，这是一个形式化的刚范畴的图算法，由斯塔顿（Staton）提供。纸盒图是绘制在分支表面上的线图，它本身是一个排列的线图。我们的主要结果是一个关于图算法的典型形式的正确性和完备性定理：我们证明纸盒图形成了一个在一个签名上的自由刚范畴。
作者：Cole Comfort, Antonin Delpeuch, Jules Hedges
论文ID：2010.13361
分类：Category Theory
分类简称：math.CT
提交时间：2020-12-22