[論文レビュー] What is Applied Category Theory?

Tai-Danae Bradley|arXiv (Cornell University)|Sep 16, 2018

History and advancements in chemistry被引用数 15

ひとこと要約

この論文は、化学、神経科学、自然言語処理など、多様な科学分野における知識のモデリングと統合のための統合的枠組みとして、応用圏論（ACT）を紹介する。ファンクター、コスパン、対称モノイダル圏といった圏論的構成を活用することで、ACTはシステム内の構成的構造を形式化し、共通の数学的言語を通じて異分野間のインサイトを可能にする。

ABSTRACT

This is a collection of introductory, expository notes on applied category theory, inspired by the 2018 Applied Category Theory Workshop, and in these notes we take a leisurely stroll through two themes (functorial semantics and compositionality), two constructions (monoidal categories and decorated cospans) and two examples (chemical reaction networks and natural language processing) within the field.

研究の動機と目的

• 応用圏論（ACT）という新興分野を明確にし、その実用性に関する誤解を解きほぐす。
• 圏論が、異分野にまたがる複雑なシステムのモデリングに形式的で構成的な言語を提供する仕組みであることを示す。
• 化学および自然言語処理分野における具体的な研究プロジェクトを通じて、ACTの有用性を説明する。
• 抽象的概念を現実の応用と結びつけることで、非数学者の科学者たちに対する圏論のアクセシビリティを高める。
• 知識統合と異分野間のコミュニケーションのためのツールとして、圏論を提唱する。

提案手法

• 自然言語の意味を表すためのDisCoCatモデルを例に、言語的および化学的構造をベクトル空間へ写像するファンクターを用いる。
• 化学反応ネットワークのようなオープンかつ相互接続されたシステムをモデル化するために、コスパンとハイパーグラフ圏を活用する。
• 電気回路やニューラルネットワークのようなシステムにおける構成性を形式化するために、対称モノイダル圏を適用する。
• 「Seven Sketches in Compositionality」のフレームワークを活用し、圏論の前提知識を最小限に抑えてACTの概念を教える・応用する。
• ATP結合や文のベクトル構築といった現実の例を統合することで、実用的モデリングの有効性を示す。
• オンラインリソース、動画講義、共同ワークショップを活用して、圏論の背景を持たない科学者へのACTの普及を推進する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして圏論が、多様な科学的分野を統合する言語として機能するか？
• RQ2 化学および自然言語における構成的システムを最も適切にモデル化するための圏論的構造は何か？
• RQ3 ファンクター的意味論は、自然言語処理における意味の形式的モデリングをどのように可能にするか？
• RQ4 化学反応ネットワークのようなオープンシステムは、どのようにコスパンとハイパーグラフ圏を用いてモデル化できるか？
• RQ5 圏論は、異分野間の知識移転を形式化するために果たす役割は何か？

主な発見

• DisCoCatモデルは、自然言語の文法的・意味的構造をテンソル空間へ効果的に写像でき、文の意味の実証的計算を可能にする。
• 化学反応ネットワークは、圏論を用いてATP結合を示す顕在的保存則を通じてモデル化できる。
• コスパンとハイパーグラフ圏は、電気回路や生体化学経路のような相互接続されたシステムの形式的記述を可能にする。
• ニューラルネットワークにおけるバックプロパゲーションはファンクターとして理解でき、圏論的構成と深い構造的類似性を示す。
• 対称モノイダル圏のフレームワークにより、量子プロセスから言語的意味論に至るまで、異分野にまたがるシステムの形式的合成が可能になる。
• ワークショップやオンラインコース（例：Azimuth、Seven Sketches）は、圏論の背景を持たない科学者にとっての入り口を著しく低下させた。