[论文解读] Actegories for the Working Amthematician

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

semigroups and automata theory被引用 5

一句话总结

本文提供了关于actegories（单幺范畴在其他范畴上的作用）的全面且易于理解的参考文献，填补了应用范畴论与纯范畴论文献中的一项空白。它统一定义了单幺、辫状单幺及对称单幺actegories，建立了其张量积与同伦-张量伴随关系，并提出了三个类似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.

研究动机与目标

• 为actegories提供系统化且易于理解的概述，actegories是范畴论中的基础概念，近年来在应用领域中的使用日益广泛。
• 解决文献中关于actegories与biactegories的术语不一致问题，澄清学界流传的定义。
• 形式化单幺与actegorical结构之间的相互作用，提出单幺、辫状单幺及对称单幺actegories的新定义。
• 通过证明三个类似Cayley的分类结果，为控制论、光学及计算效应等应用建立理论基础。

提出的方法

• 引入并形式化actegories的定义，作为单幺范畴在范畴上的作用，明确给出相干同构映射。
• 定义actegories的张量积，并在actegorical结构背景下建立同伦-张量伴随关系。
• 提出单幺、辫状单幺及对称单幺actegories的新定义，推广了单幺范畴作用的概念。
• 应用可表示函子理论与Yoneda风格嵌入，推导出actegories的类似Cayley的分类定理。
• 使用弦图与2-范畴工具，可视化并推理actegorical结构，特别是在光学与计算效应的语境中。
• 在附录中提供完整证明集，确保核心定义与结果的数学严谨性。

实验结果

研究问题

• RQ1 如何系统地定义与分类actegories，以统一文献中现有但不一致的术语？
• RQ2 单幺与actegorical结构之间相互作用的正确范畴结构是什么？如何对其进行形式化？
• RQ3 在actegories的语境中，张量积与同伦-张量伴随关系的行为如何？其结构特性是什么？
• RQ4 能否将类似Cayley的定理推广至actegories？若能，它们分类的是什么？
• RQ5 这些定义与定理对光学、控制论及计算效应等应用有何影响？

主要发现

• 本文对actegories提供了完整且一致的形式化，包括其张量积与同伦-张量伴随关系，解决了文献中长期存在的模糊性问题。
• 提出了单幺、辫状单幺及对称单幺actegories的新定义，为高维范畴作用提供了结构化框架。
• 证明了三个类似Cayley的分类定理，表明某些actegories可完全从其在单个对象上的作用中重构，推广了经典的表示定理。
• 该工作确立了actegories作为现代应用范畴论中重要构造（如光学与动力系统）的数学基础。
• 该理论被证明可应用于具体领域：它支撑了混合光学的语义、消息传递并发模型，以及通过动力范畴的持久同调。
• 附录提供了完整的证明集，确保结果在数学上严谨，适合在范畴论及其应用中进一步发展。