[论文解读] 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 为将代数理论的分类范畴推广到幺半背景，需要哪些范畴论构造？

主要发现

• 本文通过分析项演算中的结构规则，成功定义了代数理论的幺半语义，为经典语义提供了连贯的推广。
• 代数理论的模型被精确地表征为从分类范畴到目标幺半范畴的幺半函子。
• 该框架将笛卡尔范畴中代数理论的标准语义作为特例恢复。
• 该语义还包含了集合上操作代数与多范畴的语义，展示了其广泛的统一能力。
• 在幺半设定中构造分类范畴，确保了等式理论在幺半函子下保持不变。
• 该方法通过共同的幺半范畴基础，建立了代数理论、操作代数与多范畴之间的正式桥梁。