[論文レビュー] Algebraic theories in monoidal categories

Luca Mauri|arXiv (Cornell University)|May 25, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 4

ひとこと要約

この論文は、項計算における構造的規則の分析を通じて、代数的理論のモノイダル意味論を導入し、古典的意味論のカルテシアン圏への一般化と、集合上のオペラッドとマルチカテゴリの統合を実現する。モノイダル関手による分類圏への適用によりモデルを確立し、モノイダル文脈内での多様な代数的構造を統合的に扱う枠組みを提供する。

ABSTRACT

We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that generalises the usual definition in sets; and from a category-theoretical point of view, as monoidal functors on suitable classifying categories. The semantics obtained includes as special cases both the semantics of ordinary algebraic theories in Cartesian categories, and the semantics of operads and multicategories over sets.

研究の動機と目的

• カルテシアン設定を超えて、モノイダル圏における代数的理論の統一的意味論を構築すること。
• 集合上の標準的な代数的理論の定義をモノイダル枠組みへ一般化すること。
• モデルを分類圏上のモノイダル関手として、圏論的に特徴づけること。
• 通常の代数的理論と、オペラッドやマルチカテゴリといった構造を、提案された意味論の特別な場合として包含すること。

提案手法

• 代数的言語の項計算における構造的規則の分析を通じて、モノイダル意味論の基礎的原則を同定すること。
• モノイダル圏上の一般化された代数的構造の概念を明示的に定義すること。
• 適切な分類圏から目標となるモノイダル圏へのモノイダル関手として、モデルを圏論的に定式化すること。
• 分類圏の構成を用いて、モノイダル設定における代数的構造の等式理論を符号化すること。
• 意味論が、通常のカルテシアン意味論（通常の代数的理論のため）とマルチカテゴリ的意味論（オペラッドのため）の両方を回復することを確立すること。
• モノイダル構造が代数的演算における本質的な対称性と合成性を捉えていることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 代数的理論は、どのようにしてカルテシアン圏から一般のモノイダル圏へ自然に拡張できるか？
• RQ2 代数的理論のモノイダル意味論を支える項計算における構造的規則は何か？
• RQ3 分類圏上のモノイダル関手は、非カルテシアン設定における代数的理論のモデルをどのように捉えているか？
• RQ4 提案された意味論は、オペラッドとマルチカテゴリの意味論を、古典的代数的理論の意味論とどのように統合するか？
• RQ5 代数的理論の分類圏をモノイダル文脈へ一般化するために必要な圏論的構成は何か？

主な発見

• 論文は、項計算における構造的規則の分析を通じて、代数的理論のモノイダル意味論を明確に定義し、古典的意味論の整合的な一般化を実現した。
• 代数的理論のモデルは、正確に分類圏から目標となるモノイダル圏へのモノイダル関手として特徴づけられる。
• この枠組みは、カルテシアン圏における代数的理論の標準的意味論を特別な場合として回復する。
• この意味論は、集合上でのオペラッドとマルチカテゴリの意味論も包含しており、その広範な統合的パワーを示している。
• モノイダル設定における分類圏の構成は、モノイダル関手の下でも等式理論が保存されることを保証する。
• このアプローチは、共通のモノイダル圏的基盤を通じて、代数的理論、オペラッド、マルチカテゴリの間の正式な橋渡しを確立する。