[論文レビュー] Towards M-Adhesive Categories based on Coalgebras and Comma Categories

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

Model-Driven Software Engineering Techniques被引用数 6

ひとこと要約

この論文は、コアルゲブラとコンマ圏を用いたカテゴリカルな枠組みを導入し、任意にネストされたノードおよびエッジを有するグラフにおける代数的グラフ書き換えを可能にする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-接着コアルゲブラ的構造を通じて、大規模データ解析におけるグラフのグループ化と抽象化を支援すること。

提案手法

• ノードおよびエッジの任意にネストされた集合をモデル化するための3つのスーパー・パワー集合関手ℙ、𝔽、および℘ωを導入する。
• 関手F: Sets → Setsを用いてコアルゲブラ的グラフを定義し、包含関数con: N → F(N)と隣接関数ntb: E → F(N ∪ E)を導入する。
• Fがモノモルフィズムに沿ったプルバックを保存する場合、F-コアルゲブラがM-接着カテゴリを形成することを確立する。
• 階層的ネストを捉えるために、場所とリンク構造を記述する関手𝔽4を定義し、ビグラフをモデル化する。
• スーパー頂点およびスーパー辺がノードおよびエッジの集約を表すように、関手𝔽5を用いてグラフのグループ化を拡張する。
• コンマ圏およびコアルゲブラ的構成を用いて、さまざまなグラフタイプを一つのM-接着変換システムに統合する。

実験結果

リサーチクエスチョン

• RQ1 無限にネストされたノードおよびエッジを有するグラフ階層は、グラフ書き換えのカテゴリカルな枠組み内でどのように形式的にモデル化可能か？
• RQ2 F-コアルゲブラのカテゴリがM-接着的であるための条件は何か？これにより再帰的構造における代数的グラフ変換が可能になる。
• RQ3 ビグラフおよびハイパーグラフは、M-接着カテゴリにおけるコアルゲブラ的グラフとして一様に表現可能か？
• RQ4 大規模データにおけるグラフのグループ化は、コアルゲブラ的構造およびM-接着カテゴリを用いてどのように形式化可能か？
• RQ5 スーパー・パワー集合関手は、再帰的および階層的グラフ定義を可能にする役割を果たすか？

主な発見

• 関手F: Sets → Setsがモノモルフィズムに沿ったプルバックを保存する場合、F-コアルゲブラのカテゴリはM-接着的である。
• スーパー・パワー集合関手（例：℘ω）を用いることで、ノードおよびエッジがネストされたコアルゲブラ的グラフ（例：他のエッジに接続するハイパーエッジを有するもの）をモデル化可能である。
• ビグラフは、M-接着カテゴリCoalg𝔽4において、階層的な包含関数および隣接関数を用いて場所とリンク構造が符号化されたコアルゲブラ的グラフとして表現可能である。
• 大規模グラフのためのグラフグループ化演算子は、Coalg𝔽5において形式化可能であり、スーパー頂点およびスーパー辺を有する要約グラフを生成し、M-接着的設定で有効である。
• このフレームワークは、標準グラフ、ハイパーグラフ、および階層的グラフを含む広範なグラフモデルを、統一された代数的書き換えシステムの下でサポートする。
• このアプローチにより、自己参照的および再帰的構造を含む非標準的グラフ階層に対しても、成熟した代数的グラフ変換理論の適用が可能になる。