从范畴论视角看反应系统中的图冲浪

基于图的反应系统最近作为被广泛研究的基于集合的反应系统的推广而被引入。它们处理简单边标记有向图，且基于图的反应系统的动态语义由图冲浪定义，作为一种新颖的图变换：在单个冲浪步骤中，反应被应用于给定背景图的子图，从而产生后继子图。在本文中，我们提出一种针对反应系统的范畴论方法，使得可用于构建反应系统的数据结构谱系更为广泛。通过这种方式，许多类型的图、超图以及类图结构均被涵盖。