[论文解读] Structured Cospans

John C. Baez, Kenny Courser|arXiv (Cornell University)|Nov 12, 2019

Topological and Geometric Data Analysis被引用 7

一句话总结

本文提出结构化余链（structured cospans）作为一种建模具有输入输出的开放网络（如电路、Petri网和化学反应网络）的框架。通过利用函子 L: A → X 并构建余链 L(a) → x ← L(b)，作者证明当 A 和 X 具有有限并集且 L 保持这些并集时，结构化余链构成一个对称单oidal双范畴，为网络组合与建模提供了一种比装饰余链更结构化、更灵活的替代方案。

ABSTRACT

One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon \mathsf{A} o \mathsf{X}$, a structured cospan is a diagram in $\mathsf{X}$ of the form $L(a) ightarrow x \leftarrow L(b)$. If $\mathsf{A}$ and $\mathsf{X}$ have finite colimits and $L$ is a left adjoint, we obtain a symmetric monoidal category whose objects are those of $\mathsf{A}$ and whose morphisms are isomorphism classes of structured cospans. This is a hypergraph category. However, it arises from a more fundamental structure: a symmetric monoidal double category where the horizontal 1-cells are structured cospans. We show how structured cospans solve certain problems in the closely related formalism of "decorated cospans", and explain how they work in some examples: electrical circuits, Petri nets, and chemical reaction networks.

研究动机与目标

• 开发一种更直观、更灵活的框架，用于建模具有输入输出的开放网络。
• 解决装饰余链在处理同构类和结构细节方面的局限性。
• 在高阶范畴设定下，形式化利用结构化余链进行网络组合与张量积。
• 展示该框架在电气电路、Petri网和化学反应网络等具体系统中的适用性。
• 确立结构化余链为对称单oidal双范畴，支持具有相干性与模块性的组合推理。

提出的方法

• 将结构化余链定义为范畴 X 中的图 L(a) → x ← L(b)，其中 L: A → X 是一个函子。
• 构建一个双范畴 LCsp(X)，其对象来自 A，垂直态射来自 A，水平1-态射为结构化余链，2-态射为交换图。
• 证明当 A 和 X 具有有限并集且 L 保持这些并集时，LCsp(X) 成为一个对称单oidal双范畴。
• 利用 X 中的上包络结构确保结构化余链的水平组合是良定义的。
• 证明结构化余链的同构类构成一个对称单oidal范畴，具体为超图范畴。
• 将结构化余链与装饰余链进行比较，表明其在保留结构细节方面具有优势，并避免了同构类带来的复杂性。

实验结果

研究问题

• RQ1 结构化余链如何为建模开放网络提供比装饰余链更自然、更灵活的替代方案？
• RQ2 开放网络（如Petri网和电路）的组合与张量积背后的范畴结构是什么？
• RQ3 当输入和输出被识别时，结构化余链如何处理网络组合的一致性？
• RQ4 结构化余链在多大程度上比装饰余链的同构类更好地保留了网络的内部结构？
• RQ5 函子 L: A → X 需满足何种条件，才能使结构化余链构成一个对称单oidal双范畴？

主要发现

• 当 A 和 X 具有有限并集且函子 L: A → X 保持这些并集时，结构化余链构成一个对称单oidal双范畴。
• 结构化余链的同构类范畴是一个超图范畴，支持网络的组合建模。
• 该方法通过直接处理实际余链而非等价类，避免了装饰余链的结构模糊性。
• 该方法支持开放网络的串行组合与并行张量积，如在电气电路和化学反应网络中的应用。
• 该构造是函子性的且具有一般性，适用于包括Petri网和反应网络在内的多种网络类型。
• 使用双范畴结构可实现垂直组合的严格结合律与水平组合的相干性，从而提升范畴处理的可管理性。