[論文レビュー] The nucleus of an adjunction and the Street monad on monads

Duško Pavlović, Dominic J. D. Hughes|arXiv (Cornell University)|Apr 15, 2020

Topological and Geometric Data Analysis参考文献 60被引用数 5

ひとこと要約

本稿では、任意の随伴を厳密に冪等的かつ自己双対的な核随伴に解消する核構成を導入し、元の随伴に隠された概念を明らかにする。この構成を2-圏へと拡張し、モノイドに作用する厳密に冪等的なストリートモノイドを定義し、モノイドの核を抽出する。これにより、抽象的圏論とデータ解析・機械学習における具体的応用が統合される。

ABSTRACT

An adjunction is a pair of functors related by a pair of natural transformations, and relating a pair of categories. It displays how a structure, or a concept, projects from each category to the other, and back. Adjunctions are the common denominator of Galois connections, representation theories, spectra, and generalized quantifiers. We call an adjunction nuclear when its categories determine each other. We show that every adjunction can be resolved into a nuclear adjunction. The resolution is idempotent in a strict sense. The resulting nucleus displays the concept that was implicit in the original adjunction, just as the singular value decomposition of an adjoint pair of linear operators displays their canonical bases. [snip] In his seminal early work, Ross Street described an adjunction between monads and comonads in 2-categories. Lifting the nucleus construction, we show that the resulting Street monad on monads is strictly idempotent, and extracts the nucleus of a monad. A dual treatment achieves the same for comonads. This uncovers remarkably concrete applications behind a notable fragment of pure 2-category theory. The other way around, driven by the tasks and methods of machine learning and data analysis, the nucleus construction also seems to uncover remarkably pure and general mathematical content lurking behind the daily practices of network computation and data analysis.

研究の動機と目的

• 随伴によって二つの圏が互いに完全に決定し合う核随伴を定義・特徴づけること。
• 任意の随伴が、厳密に冪等的な核随伴に一意に解体可能であることを示すこと。
• 核構成を2-圏へと拡張し、特にロス・ストリートが記述するモノイドとコモノイドの間の随伴において、ストリートモノイドを厳密に冪等的であるように定義すること。
• この構成が、実用的データ解析およびネットワーク計算の背後にある深い数学的構造を明らかにすること。
• 抽象的2-圏論と機械学習における応用的計算的実践との間の正式な橋渡しを確立すること。

提案手法

• 任意の随伴を厳密に冪等的な解消によって核随伴に写像する核構成を定義すること。
• 随伴の構造を用いて、両圏に共通して保存される最小の概念を同定すること。
• 核構成を2-圏的設定へと拡張し、特にロス・ストリートが記述するモノイドとコモノイドの間の随伴に適用すること。
• ストリート随伴に核構成を適用することで得られる結果として、モノイド上のストリートモノイドを定義すること。
• 得られるストリートモノイドが厳密に冪等的であることを証明すること。すなわち、二度適用しても一度適用した結果と同一であることを示すこと。
• コモノイドへも同様に双対化を適用し、モノイドとコモノイドの扱いにおける対称性を示すこと。

実験結果

リサーチクエスチョン

• RQ1 任意の随伴が、厳密に冪等的な核随伴に一意に解体可能である方法は何か？
• RQ2 核構成が、与えられた随伴の背後にある隠れた概念をどのように明らかにするか？
• RQ3 核構成が2-圏的設定へとどのように拡張されるか、特にモノイドとコモノイドの間のストリート随伴の文脈においては？
• RQ4 モノイド上のストリートモノイドの性質は何か？なぜそれは厳密に冪等的なのか？
• RQ5 この構成が、実用的データ解析およびネットワーク計算から一般的な数学的原理をどのように明らかにするか？

主な発見

• 任意の随伴は、厳密に冪等的な核随伴に一意に解体可能であり、解体プロセスは一度適用すれば安定化する。
• 随伴の核は、関係する二つの圏に共通して暗黙的に共有される本質的な概念を捉え、特異値分解における標準基底に類似している。
• 核構成は2-圏の設定へと拡張され、モノイドのコア構造を抽出する厳密に冪等的なストリートモノイドを生じる。
• コモノイドへの双対的構成も同様の構造的洞察をもたらし、この枠組みにおいてモノイドとコモノイドの間の対称性を示している。
• 得られるモノイド上のストリートモノイドは、厳密に冪等的であるだけでなく、抽象的2-圈权論の背後にある深い、明確な数学的構造を明らかにしている。
• この構成は、ネットワーク計算やデータ変換といった機械学習およびデータ解析で用いられる概念の、形式的で一般的かつ数学的に純粋な基盤を提供する。