关于关系模合流和双群体的相容交融
摘要：关于具有符号生成器、关系和关系之间的关系的n-范畴的一致表示是通过生成器、关系和关系之间的关系来进行的演示。收拢和终止重写系统生成一致表示，其中关系之间的关系由临界分支的收敛图定义。本文介绍了在重写关系在一组公理模下定义时计算一致表示的过程。我们的一致性结果使用在双群体中丰富的n-类别的结构来定义，其中的水平单元表示重写路径，垂直单元表示由公理生成的等价关系，方形单元表示由收敛模图诱导的一致性单元。我们将我们的构造应用于在可交换幺半群中的重写系统模关系、在关键单调范畴中的等变关系以及在群中的逆关系。
作者：Benjamin Dupont, Philippe Malbos
论文ID：1810.08184
分类：Category Theory
分类简称：math.CT
提交时间：2021-10-05