更高阶的范畴、更高阶的量子代数及其对应关系
摘要：在omega-分类和卷积omega-量域之间建立模态对应关系。这些关系与约翰逊-塔斯基风格的关系结构和带算符格之间的对偶性相关。我们将omega-分类推广为（严格）omega-范畴，特别是由多图表（或计算图）生成的高重写的路径范畴的推广。卷积omega-量域推广了最近在高重写的代数一致性证明中提出的幂集omega-Kleene代数到加权变体。我们将这些对应关系扩展到({omega},p)-分类和卷积({omega},p)-量域，以适用于在高重写中建模同伦。我们还将它们特化为有限可分解的({omega},p)-分类，这是定义({omega},p)-半环和({omega},p)-Kleene代数的适当环境。这些构造支持相对于以前的临时方法对高量域公理的系统开发和证明。
作者：Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth
论文ID：2307.09253
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-19