[论文解读] A Universal Construction for (Co)Relations

Brendan Fong, Fabio Zanasi|DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)|Mar 23, 2017

Natural Language Processing Techniques被引用 5

一句话总结

本文提出了一种通用构造方法，用于范畴论中的（余）关系——如关系、余关系及线性子空间——通过在映射基范畴上的张量图（span）与余张量图（cospan）的上积（pushout）实现。借助分配律与范畴论中的上积，该方法统一了量子计算、控制理论与程序语义学中多种不同的公理化体系，表明（余）关系范畴可作为余极限（colimits）构造，从而支持对弦图（string diagrams）的完整、模块化等式推理。

ABSTRACT

Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic interpretation for diagrams is given in terms of relations or corelations (generalised equivalence relations) of some kind. In this paper we show how semantic categories of both relations and corelations can be characterised as colimits of simpler categories. This modular perspective is important as it simplifies the task of giving a complete axiomatisation for semantic equivalence of string diagrams. Moreover, our general result unifies various theorems that are independently found in literature, including the cases of linear corelations (relevant for the semantics of electrical circuits), of partial equivalence relations and of linear subspaces (semantics of signal flow graphs and of the phase-free ZX calculus).

研究动机与目标

• 统一不同领域（如量子过程、控制系统与程序语义学）中看似迥异的（余）关系范畴构造方法。
• 为关系与余关系范畴提供一个通用范畴论框架，将其作为更简单图示化组件的余极限进行构造。
• 证明弦图语义的完整等式公理化体系可从线性映射或函数的基范畴模块化推导得出。
• 将上积构造的适用范围扩展至单子代数与正则范畴，超越向量空间的限制。
• 建立从张量图与余张量图构造超图范畴的基础方法，为未来在装饰余关系与广义网络模型方面的工作奠定基础。

提出的方法

• 本文在范畴论的范畴（props）中通过张量图与余张量图在映射基范畴（如线性映射或函数）上的上积，构造（余）关系范畴。
• 应用范畴论中 props 的分配律，将张量图与余张量图构造相结合，实现等式公理化体系的模块化推导。
• 该构造依赖于上积的普遍性质，从基范畴与对偶范畴的公理化体系中推导出结果（余）关系范畴的完整公理化体系。
• 该方法推广至具有分裂正则满射的正则范畴，使其适用于单子的 Eilenberg–Moore 范畴。
• 通过示例说明：线性子空间（SV_k）、等价关系（ER）与部分等价关系（PER）均通过张量图与余张量图的上积构造得出。
• 该框架可扩展至单子代数（如域上的代数），通过验证必要的范畴论条件（如有限上完备性、分裂满射）得以实现。

实验结果

研究问题

• RQ1 关系与余关系范畴能否从张量图与余张量图等更简单的图示化组件中实现通用构造？
• RQ2 如何从映射基范畴出发，模块化地推导出弦图语义的完整等式公理化体系？
• RQ3 哪些范畴论条件可确保张量图与余张量图的上积产生一个定义良好的（余）关系范畴？
• RQ4 该构造在多大程度上统一了控制理论、量子计算与程序语义学中的示例？
• RQ5 该上积构造能否扩展至单子代数（如具有双线性乘积的向量空间）？

主要发现

• 线性子空间范畴（SV_k）被构造为在线性映射范畴（Vect_k）上张量图与余张量图的上积，实现了其通用表征。
• 交互霍普夫代数理论作为 SV_k 的完整等式公理化体系，源自张量图与余张量图构造上的分配律。
• 该构造可推广至等价关系（ER）与部分等价关系（PER），其类似上积分解使用单射与函数实现。
• 该方法适用于具有分裂正则满射的正则范畴上的单子 Eilenberg–Moore 范畴，支持在代数结构中构造关系。
• 所得（余）关系范畴为超图范畴，配备特殊交换弗罗贝尼乌斯结构，支持网络风格的图示化推理。
• 该框架解释了为何从 FMod_R 到 Vect_k 的转换需要域扩张：上积构造要求形式逆元，而逆元仅在分式域中存在。