[論文レビュー] Structured Cospans

John C. Baez, Kenny Courser|arXiv (Cornell University)|Nov 12, 2019

Topological and Geometric Data Analysis被引用数 7

ひとこと要約

この論文は、入力と出力を備えたオープンネットワーク—電気回路、ペトリネット、化学反応ネットワークなど—をモデル化するための枠組みとして構造的コスパンを導入する。関手 L: A → X を用い、cospans L(a) → x ← L(b) を構成することで、A と X が有限の余極限をもち、L がそれらを保存するとき、構造的コスパンは対称モノイダル二重圏をなすことが示され、ネットワークの合成とモデル化において装飾付きコスパンのより構造的で柔軟な代替手段を提供する。

ABSTRACT

One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon \mathsf{A} o \mathsf{X}$, a structured cospan is a diagram in $\mathsf{X}$ of the form $L(a) ightarrow x \leftarrow L(b)$. If $\mathsf{A}$ and $\mathsf{X}$ have finite colimits and $L$ is a left adjoint, we obtain a symmetric monoidal category whose objects are those of $\mathsf{A}$ and whose morphisms are isomorphism classes of structured cospans. This is a hypergraph category. However, it arises from a more fundamental structure: a symmetric monoidal double category where the horizontal 1-cells are structured cospans. We show how structured cospans solve certain problems in the closely related formalism of "decorated cospans", and explain how they work in some examples: electrical circuits, Petri nets, and chemical reaction networks.

研究の動機と目的

• 入力と出力を備えたオープンネットワークをより直感的で柔軟な枠組みでモデル化すること。
• 装飾付きコスパンが同型類や構造的詳細を扱う際に抱える制限を解消すること。
• 高階圏的設定において、構造的コスパンを用いてネットワークの合成とテンソル積を形式化すること。
• 電気回路、ペトリネット、化学反応ネットワークといった具体的なシステムへのフレームワークの適用性を示すこと。
• 構造的コスパンが対称モノイダル二重圏として定式化されることを確立し、整合性とモularity を備えた合成的推論を可能にすること。

提案手法

• 関手 L: A → X に対して、カテゴリ X 内の図式 L(a) → x ← L(b) として構造的コスパンを定義する。
• A の対象を対象とし、垂直な射を A から、水平な1次元射を構造的コスパンとし、2次元射を可換図式とする二重圏 LCsp(X) を構成する。
• A と X が有限の余極限をもち、L がそれらを保存するとき、LCsp(X) が対称モノイダル二重圏となることを示す。
• X 内の余極限の構造を用いて、構造的コスパンの水平合成が適切に定義されることを保証する。
• 構造的コスパンの同型類のなす圏が、具体的にはハイパーグラフ圏であることを示す。
• 構造的コスパンと装飾付きコスパンを比較し、構造的詳細の保持や同型類の複雑さを回避する点での利点を示す。

実験結果

リサーチクエスチョン

• RQ1 構造的コスパンは、オープンネットワークのモデリングにおいて装飾付きコスパンのより自然で柔軟な代替手段をどのように提供するか？
• RQ2 ペトリネットや電気回路のようなオープンネットワークの合成とテンソル積の背後にある圏的構造は何か？
• RQ3 入力と出力を同定する際、構造的コスパンはネットワーク合成の整合性をどのように扱うか？
• RQ4 同型類の装飾付きコスパンと比較して、構造的コスパンはネットワークの内部構造をどのようによりよく保存するか？
• RQ5 関手 L: A → X にどのような条件を課すと、構造的コスパンが対称モノイダル二重圏をなすか？

主な発見

• A と X が有限の余極限をもち、L: A → X がそれらを保存するとき、構造的コスパンは対称モノイダル二重圏をなす。
• 構造的コスパンの同型類のなす圏はハイパーグラフ圏であり、ネットワークの合成的モデリングを可能にする。
• 等価類ではなく実際のコスパンを直接扱うことで、装飾付きコスパンが抱える構造的曖昧性を回避する。
• この手法は、電気回路や化学反応ネットワークにおける順次合成と並列テンソル積の両方をサポートする。
• この構成はファンクター的かつ一般性に富み、ペトリネットや反応ネットワークを含む多様なネットワークタイプに適用可能である。
• 二重圏の使用により、垂直合成に対して厳密な結合性と水平合成に対して整合性が保証され、圏論的取り扱いが容易になる。