[论文解读] Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems

L. de Francesco Albasini, N. Sabadini+1 more|ArXiv.org|Sep 23, 2009

Topological and Geometric Data Analysis参考文献 16被引用 12

一句话总结

本文提出了一种基于图的余箭头（cospan）与箭头（span）的范畴代数，用于建模具有数据类型的离散系统的顺序与并行组合。通过将先前针对有限状态控制的工作扩展至包含通过分配范畴（distributive categories）实现的数据结构，该方法实现了统一且可实现的编程语言，支持图灵完备计算、并发性、层次结构以及通过范畴组合实现的几何变换。

ABSTRACT

We develop further the algebra of cospans and spans of graphs introduced by Katis, Sabadini and Walters for the sequential and parallel composition of processes, adding here data types.

研究动机与目标

• 将离散系统范畴代数中的余箭头与箭头扩展至包含数据类型，超越有限状态控制的范畴。
• 开发一种形式化且可实现的系统编程语言，支持数据结构的顺序与并行组合。
• 展示经典并发性、层次结构与几何变换问题如何在此代数框架中建模。
• 通过广义范畴中的矩阵演算，建立数据感知程序与有限自动机之间的联系。
• 通过将其与带有前驱与后继操作的Elgot自动机关联，证明所得到的系统是图灵完备的。

提出的方法

• 本文将系统建模为余箭头以表示顺序组合，以及箭头以表示并行组合，接口通过图同态定义。
• 引入一个使用图与图同态范畴的范畴框架，通过上诱导（pushouts，用于余箭头）与下诱导（pullbacks，用于箭头）实现组合。
• 通过分配范畴引入数据类型，支持直接和运算与矩阵演算，从而将控制结构与数据操作关联。
• 将系统形式化为一种余箭头-箭头语言，包含基本操作如前驱（pred）、后继（succ）以及结构组合子（例如，∇, η, ε, 1）。
• 程序被表达为这些操作的复合，其求值结果为一个系统，其行为对应于中心图中的路径。
• 该框架通过在并行系统上进行顺序操作，支持层次组合与几何变换，并通过分配律实现嵌套结构的扁平化。

实验结果

研究问题

• RQ1 如何将余箭头与箭头的范畴组合扩展至包含离散系统建模中的数据类型？
• RQ2 当通过数据操作增强时，基于余箭头与箭头的编程语言是否能够支持图灵完备计算？
• RQ3 经典并发问题如何通过此代数框架与数据结合进行建模与组合？
• RQ4 分配律在此框架中在扁平化层次化系统结构方面起到何种作用？
• RQ5 如何通过并行系统的顺序组合表达系统结构的变化？

主要发现

• 通过将其与带有前驱与后继操作的Elgot自动机关联，证明了带有数据类型的余箭头-箭头代数是图灵完备的。
• 广义范畴中直接和运算所产生的矩阵演算，能够显式表示数据感知程序及其控制结构。
• 通过基本操作（如pred、succ与∇）的组合，该框架支持顺序编程，例如自然数的加法。
• 经典并发问题（如互斥与同步）可通过具有共享接口与标记转移的系统并行组合进行建模。
• 通过分配律，可构建并扁平化层次化系统结构，从而支持模块化系统设计与组合。
• 通过并行系统的顺序组合，可实现系统结构的几何变换，推广了以往忽略数据的早期工作。