[论文解读] Towards M-Adhesive Categories based on Coalgebras and Comma Categories

Julia Padberg|arXiv (Cornell University)|Feb 15, 2017

Model-Driven Software Engineering Techniques被引用 6

一句话总结

本文提出了一种基于余代数和comma范畴的M-粘性变换系统范畴框架，实现了对具有任意嵌套节点和边的图的代数图重写。通过定义超幂集函子并证明当F保持沿单射的拉回时，F-余代数为M-粘性，该方法支持分层的、递归的图结构，包括双图和超图。

ABSTRACT

In this contribution we investigate several extensions of the powerset that comprise arbitrarily nested subsets, and call them superpower set. This allows the definition of graphs with possibly infinitely nested nodes. additionally we define edges that are incident to edges. Since we use coalgebraic constructions we refer to these graphs as corecursive graphs. The superpower set functors are examined and then used for the definition of $\mathcal{M}$-adhesive categories which are the basic categories for $\mathcal{M}$-adhesive transformation systems. So, we additionally show that coalgebras $\mathbf{Sets}_F$ are $\mathcal{M}$-adhesive categories provided the functor $F:\mathbf{Sets}_F o \mathbf{Sets}_F$ preserves pullbacks along monomorphisms.

研究动机与目标

• 将代数图变换系统扩展至支持具有任意嵌套节点和边的复杂分层图结构。
• 使用余代数构造和超幂集函子形式化递归图层次结构。
• 建立F-余代数构成M-粘性范畴的条件，从而在分层图上实现代数重写。
• 在单一范畴框架内统一多种图模型——超图、双图和分层图。
• 通过M-粘性余代数结构支持大规模数据分析中的图分组与抽象。

提出的方法

• 引入三种超幂集函子——ℙ、𝔽和℘ω，以建模任意嵌套的节点和边集合。
• 通过函子F: Sets → Sets定义余代数图，其中包含函数con: N → F(N)和邻接函数ntb: E → F(N ∪ E)。
• 证明若F保持沿单射的拉回，则F-余代数构成M-粘性范畴。
• 通过定义函子𝔽4，将该框架应用于建模双图，其中位置和链接结构通过分层的包含和邻接函数编码。
• 通过函子𝔽5将模型扩展至图分组，其中超顶点和超边表示聚合的节点和边组。
• 使用comma范畴和余代数构造，将各种图类型统一于单一M-粘性变换系统之下。

实验结果

研究问题

• RQ1 如何在图重写范畴框架内形式化具有无限嵌套节点和边的图层次结构？
• RQ2 在何种条件下，F-余代数的范畴为M-粘性，从而支持在递归结构上进行代数图变换？
• RQ3 双图和超图能否在M-粘性范畴中统一表示为余代数图？
• RQ4 如何使用余代数结构和M-粘性范畴形式化大规模图的图分组？
• RQ5 超幂集函子在支持递归与分层图定义中起什么作用？

主要发现

• 若自函子F: Sets → Sets保持沿单射的拉回，则F-余代数的范畴为M-粘性。
• 可使用如℘ω等超幂集函子对具有嵌套节点和边（如超边连接至其他边）的余代数图进行建模。
• 双图可表示为M-粘性范畴Coalg𝔽4中的余代数图，其中位置和链接结构通过分层的包含和邻接函数编码。
• 大规模图的图分组算子可在Coalg𝔽5中形式化，生成包含超顶点和超边的摘要图，且在M-粘性环境下有效。
• 该框架在统一的代数重写系统下支持广泛的图模型，包括标准图、超图和分层图。
• 该方法使成熟的代数图变换理论可应用于非标准图层次结构，包括自引用和递归结构。