[论文解读] Decorated Cospans

Brendan Fong|arXiv (Cornell University)|Feb 3, 2015

Homotopy and Cohomology in Algebraic Topology被引用 8

一句话总结

本文提出装饰余链（decorated cospans）作为一种方法，通过从具有有限上积的范畴到辫状对称张量范畴的弱辫状张量函子，构建对称张量范畴。其中态射为带有目标范畴中额外结构（装饰）的余链。关键贡献在于，装饰余链范畴自然构成超图范畴，支持如电路和化学反应系统等网络结构的组合性。

ABSTRACT

Let $\mathcal C$ be a category with finite colimits, writing its coproduct $+$, and let $(\mathcal D, \otimes)$ be a braided monoidal category. We describe a method of producing a symmetric monoidal category from a lax braided monoidal functor $F: (\mathcal C,+) o (\mathcal D, \otimes)$, and of producing a strong monoidal functor between such categories from a monoidal natural transformation between such functors. The objects of these categories, our so-called `decorated cospan categories', are simply the objects of $\mathcal C$, while the morphisms are pairs comprising a cospan $X ightarrow N \leftarrow Y$ in $\mathcal C$ together with an element $1 o FN$ in $\mathcal D$. Moreover, decorated cospan categories are multigraph categories---each object is equipped with a special commutative Frobenius monoid---and their functors preserve this structure.

研究动机与目标

• 开发一种通用框架，从具有有限上积的范畴与辫状对称张量范畴之间的弱辫状张量函子，构造对称张量范畴。
• 形式化装饰余链范畴的构造，其中态射为带有目标范畴中额外结构（装饰）的余链。
• 证明装饰余链范畴自然具备超图范畴结构，包括每个对象上特殊的交换弗罗贝尼乌斯幺半群。
• 建立装饰余链范畴之间的函子保持该超图结构，确保组合性的一致性。
• 为建模如电路、化学反应及其他网络结构的开放系统提供范畴论基础。

提出的方法

• 定义装饰余链范畴，其对象为具有有限上积的范畴 C 的对象，其态射为形如 X → N ← Y 的余链，其顶点 N 上带有来自辫状对称张量范畴 D 中的元素 1 → FN 的装饰。
• 利用范畴 C 中的并集和范畴 D 中的张量积，在装饰余链范畴上构造对称张量结构。
• 使用弱辫状张量函子 F: (C, +) → (D, ⊗) 为余链的顶点分配装饰，确保与上积复合的相容性。
• 通过为每个对象配备由装饰函子导出的特殊交换弗罗贝尼乌斯幺半群，证明所得范畴为超图范畴。
• 证明函子之间的张量自然变换可诱导出装饰余链范畴之间的强张量函子，且保持超图结构。
• 通过涉及协强制图、单位律及变换自然性的交换图，验证诱导函子的张量性与自然性。

实验结果

研究问题

• RQ1 如何系统地从具有有限上积的范畴与辫状对称张量范畴之间的弱辫状张量函子，构造对称张量范畴？
• RQ2 装饰余链范畴自然携带何种代数结构？该结构如何支持开放系统的组合？
• RQ3 函子之间的张量自然变换如何诱导出保持结构的装饰余链范畴之间的函子？
• RQ4 源范畴中的协强制图与单位律如何在装饰余链构造中体现？
• RQ5 装饰余链能否以组合且代数一致的方式建模现实世界中的网络系统，如电路或化学反应网络？

主要发现

• 装饰余链范畴是对称张量范畴，其态射为来自辫状对称张量范畴 D 的元素装饰的余链。
• 装饰余链范畴中每个对象均配备有特殊的交换弗罗贝尼乌斯幺半群，使该范畴成为超图范畴。
• 该构造保持张量结构：装饰函子之间的强张量函子可诱导出装饰余链范畴之间的强张量函子。
• 诱导函子的自然性源于原始张量变换的自然性，以及协强制图的交换性。
• 装饰余链范畴中的单位态射在函子 T 下被保持，如单位律与协强制图交换性所示。
• 整个构造与上积保持性及协强制律相容，确保装饰余链的复合是良定义且满足结合律的。