[论文解读] Coherence for Categorified Operadic Theories

Miles Gould|arXiv (Cornell University)|Feb 4, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用 5

一句话总结

本文提出了一套用于通过操作符呈现的代数理论的范畴化框架，定义了弱 $P$-范畴，其中等式在一致同构意义下成立。它建立了一个严格化函子，该函子作为从严格 $P$-范畴到弱 $P$-范畴的遗忘函子的左伴随，证明了该构造与操作符的表述方式无关，并推广了经典范畴论中关于张量范畴与对称张量范畴的相干性结果。

ABSTRACT

Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a definition of the \emph{weakening} (or \emph{categorification}) of the theory, in which equations that hold strictly for $P$-algebras hold only up to coherent isomorphism. This generalizes the theories of monoidal categories and symmetric monoidal categories, and several related notions defined in the literature. Using this definition, we generalize the result that every monoidal category is monoidally equivalent to a strict monoidal category, and show that the "strictification" functor has an interesting universal property, being left adjoint to the forgetful functor from the category of strict $P$-categories to the category of weak $P$-categories. We further show that the categorification obtained is independent of our choice of presentation for $P$, and extend some of our results to many-sorted theories, using multicategories.

研究动机与目标

• 为由操作符描述的代数理论定义一种系统化的范畴化概念，推广张量范畴与对称张量范畴。
• 证明每个弱 $P$-范畴都可通过具有普遍性质的严格化函子等价于一个严格 $P$-范畴。
• 证明范畴化构造与操作符表述的选择无关，确保在不同句法描述下的一致性。
• 通过多 sorts 理论与多重范畴及丰富结构，将该框架推广至多 sorts 理论。
• 将所提方法与伪代数（pseudo-algebras）对 2-单子及 Laplaza 集等替代定义进行比较与对照。

提出的方法

• 将弱 $P$-范畴定义为在范畴化操作符上的代数，其中等式在指定的相干同构意义下成立。
• 从弱 $P$-范畴到严格 $P$-范畴构造一个严格化函子，证明其为遗忘函子的左伴随。
• 利用因子分解系统与句法特征化，在范畴化设定中形式化相干性的概念。
• 采用丰富多重范畴与有限积操作符，将理论推广至多 sorts 与代数结构化的理论。
• 通过证明等价操作符产生等价的范畴化结果，展示表述无关性。
• 将该方法与现有框架（如 2-单子的伪代数与 Laplaza 集）进行比较，突出其局限性与优势。

实验结果

研究问题

• RQ1 如何系统地定义由操作符呈现的代数理论的范畴化，使得等式仅在相干同构意义下成立？
• RQ2 从弱 $P$-范畴到严格 $P$-范畴的严格化函子满足何种普遍性质，其与遗忘函子的关系如何？
• RQ3 该范畴化结果是否与操作符 $P$ 的表述选择无关？
• RQ4 该框架能否通过多重范畴与丰富结构推广至多 sorts 理论？
• RQ5 与 2-单子的伪代数或 Laplaza 集等替代定义相比，该方法在相干性与普遍性方面有何异同？

主要发现

• 从弱 $P$-范畴到严格 $P$-范畴的严格化函子是遗忘函子的左伴随，为该构造建立了普遍性质。
• 由操作符 $P$ 表述的理论的范畴化与 $P$ 的表述选择无关，确保了在不同句法表述下的一致性。
• 该框架推广了经典相干性结果，例如 Joyal 与 Street 的定理：每个弱张量范畴都与一个严格张量范畴张量等价。
• 对于对称操作符，该构造产生对称张量范畴，且相干条件确保对称同构与操作符结构相容。
• 该方法避免了 2-单子伪代数的缺陷，后者因对称同构施加过强约束而无法正确捕捉对称张量范畴。
• 采用 Laplaza 集与丰富多重范畴，使得该方法能灵活且普遍地推广至多 sorts 与高阶元数代数理论。