[論文レビュー] Actegories for the Working Amthematician

Matteo Capucci, Bruno Gavranović|arXiv (Cornell University)|Mar 30, 2022

semigroups and automata theory被引用数 5

ひとこと要約

この論文は、モノイダル圏が他の圏に作用するという構造であるactegory（作用圏）について、包括的でアクセス可能な参考文献を提供する。これは、応用的・純粋的な圏論の文脈において、文献の空白を埋めるものである。モノイダル、braidedモノイダル、対称モノイダルactegoryの統一的定義を導入し、それらのテンソル積とホム-テンソル随伴を確立する。さらに、これらの構造について三つのCayleyに類似した分類定理を提示し、サイバネティクス、光学、計算的効果の分野への応用に向けた基盤的ツールを提供する。

ABSTRACT

Actions of monoidal categories on categories, also known as actegories, have been familiar to category theorists for a long time, and yet a comprehensive overview of this topic seems to be missing from the literature. Recently, actegories have been increasingly employed in applied category theory, thereby encouraging an effort to fill this gap according to the new needs of these applications. This work started as an investigation of the notion of monoidal actegory, a compatible pair of monoidal and actegorical structures, and ended up including a sizable reference on the elementary theory of actegories. We cover basic definitions and results on actegories and biactegories, spelling out explicitly many folkloric definitions, including their tensor product and their hom-tensor adjunction. We give new definitions of actegories with monoidal, braided monoidal and symmetric monoidal structure. In the last section, we provide three Cayley-like classification results for these structures.

研究の動機と目的

• actegoryという、圏論の基礎的かつ近年応用分野で注目が高まっている概念について、体系的かつアクセス可能な概要を提供すること。
• actegoryおよびbiactegoryに関する文献における用語の不整合を解消し、フォークロア的な定義を明確化すること。
• モノイダル構造とactegorical構造の間の相互作用を形式化し、モノイダル、braidedモノイダル、対称モノイダルactegoryの新しい定義を導入すること。
• Cayleyに類似した三つの分類定理の証明を通じて、サイバネティクス、光学、計算的効果の分野への理論的基盤を確立すること。

提案手法

• モノイダル圏が圏に作用する構造としてactegoryを定義し、明示的な整合性同型を含む形式的定義を導入する。
• actegoryのテンソル積を定義し、actegorical構造の文脈におけるホム-テンソル随伴を確立する。
• モノイダル、braidedモノイダル、対称モノイダルactegoryの新しい定義を提案し、モノイダル圏作用の概念を一般化する。
• 表現可能関手の理論とYoneda風埋め込みを用いて、actegoryのCayleyに類似した分類定理を導出する。
• ストリング図と2-圏的道具を用いて、特に光学および計算的効果の文脈におけるactegorical構造の可視化と推論を行う。
• 付録に完全な証明集合を提供し、核心的な定義と結果の数学的厳密性を保証する。

実験結果

リサーチクエスチョン

• RQ1 既存の不統一的な用語体系を統合する形で、actegoryを体系的に定義・分類する方法は何か？
• RQ2 モノイダル構造とactegorical構造の間の正しい圏論的構造は何か。そして、それをどのように形式化できるか？
• RQ3 テンソル積とホム-テンソル随伴はactegoryの文脈でどのように振る舞い、その構造的性質は何か？
• RQ4 Cayleyに類似した定理をactegoryに一般化できるか。もし可能であれば、それらはどのような構造を分類するのか？
• RQ5 これらの定義と定理は、光学、サイバネティクス、計算的効果の分野への応用にどのような意味を持つのか？

主な発見

• 本論文は、テンソル積とホム-テンソル随伴を含む、actegoryの完全かつ一貫性のある形式的定式化を提供し、長年の文献上の曖昧さを解消した。
• モノイダル、braidedモノイダル、対称モノイダルactegoryの新しい定義を導入し、高次元の圏的作用のための体系的フレームワークを提供した。
• 三つのCayleyに類似した分類定理を証明し、特定のactegoryが単一の対象への作用から完全に再構成可能であることを示した。これは古典的な表現定理を一般化するものである。
• 本研究は、actegoryが現代の応用圏論における構造、例えば光学や力学的系の数学的基盤であることを示した。
• 理論は具体的な分野へ応用可能であることが示された。具体的には、混合光学の意味論、メッセージパッシング並行処理、およびダイナミカル圏による持続的ホモロジーの基礎をなしている。
• 付録には完全な証明集合が含まれており、結果が数学的に厳密であり、圏論およびその応用分野におけるさらなる発展に適していることが保証されている。