[論文レビュー] On operads, bimodules and analytic functors

Nicola Gambino, André Joyal|White Rose Research Online (University of Leeds, The University of Sheffield, University of York)|May 28, 2014

Advanced Topics in Algebra参考文献 56被引用数 13

ひとこと要約

本稿は、分配関手理論およびモナドの形式的理論を拡張することで、cartesian closed であることが保証される、操作代数双モジュールの2圏 $\mathrm{OpdBim}_{\mathcal{V}}$ を導入する。これは、多様なソートを持つ操作代数への代数的構造の一般化を提供し、解析的関手および対称列列に対する圏論的枠組みを構築する。

ABSTRACT

We develop further the theory of operads and analytic functors. In particular, we introduce a bicategory that has operads as 0-cells, operad bimodules as 1-cells and operad bimodule maps as 2-cells, and prove that this bicategory is cartesian closed. In order to obtain this result, we extend the theory of distributors and the formal theory of monads.

研究の動機と目的

• 単一ソートのケースを越えた操作代数の包括的な理論を構築すること。
• 操作代数双モジュールを2圏として形式化し、高次圏的枠組みにおける代数およびモジュール写像を一般化すること。
• 操作代数双モジュールの2圏がcartesian closed であることを確立し、圏論の基礎的結果を拡張すること。
• 対称列列、解析的関手、およびモナド理論を一貫した圏論的枠組み内で統合すること。

提案手法

• 操作代数を0-セル、双モジュールを1-セル、双モジュール写像を2-セルとする2圏 $\mathrm{OpdBim}_{\mathcal{V}}$ を構成する。
• 特にEilenberg-Moore完備化に注目して、Tame 2圏に対するモナドの形式的理論を適用する。
• 解析的関手の基礎的構造として対称列列を用い、対称モノイダル閉で生成可能な圏 $\mathcal{V}$ に倣って豊かにした。
• 関手的性と列の対称性をモデル化するため、$S$-分配関手および対称分配関手を導入する。
• モノイダル分配関手および対称 $\mathcal{V}$-rig の理論を用いて、モノイダル構造との整合性を保証する。
• Eilenberg-Moore対象の構成と、Tame なホモーマーフィズムにおける制限関手の全忠実性を用いて、cartesian closure を証明する。

実験結果

リサーチクエスチョン

• RQ1 操作代数の理論は、多様なソートを持つ対称操作代数へと、高次圏的構造を支持する形で拡張可能であろうか？
• RQ2 操作代数双モジュールの2圏はcartesian closed であるか？ もしそうならば、どのような圏論的機構がこれを可能にするか？
• RQ3 対称列列と解析的関手は、豊かにした圏論におけるモナドおよび分配法則とどのように関係するか？
• RQ4 $S$-分配関手および対称分配関手は、操作的構造における関手的性と対称性をモデル化する上で果たす役割は何か？
• RQ5 モナドの形式的理論は、Tame な2圏に適応可能であり、Eilenberg-Moore完備化およびcartesian closure を得るために用いられるであろうか？

主な発見

• 操作代数双モジュールの2圏 $\mathrm{OpdBim}_{\mathcal{V}}$ はcartesian closed であり、操作的構造における合成および内部ホムの圏論的基盤を提供する。
• Tame なホモーマーフィズムに対して、制限関手 $\mathrm{Res}(\Phi,\Psi)$ は全忠実であるため、変形の拡張の一意性が保証される。
• 双モジュールの2圏におけるモナドに対してEilenberg-Moore対象が存在し、普遍的性質を用いて代数の構成が可能になる。
• 対称列列の圏はcartesian closed であり、豊かにした設定における解析的関手理論を一般化する。
• 分配関手理論はモノイダルおよび対称的設定へと拡張され、操作的合成および対称性の整合的取り扱いを可能にする。
• 本フレームワークは、操作代数、双モジュール、および解析的関手を一つの圏的構造に統合し、代数的トポロジーおよび理論的コンピュータサイエンスにおける応用を容易にする。