[论文解读] Decorated Corelations

Brendan Fong|arXiv (Cornell University)|Mar 29, 2017

Homotopy and Cohomology in Algebraic Topology被引用 8

一句话总结

本文提出装饰核心联结（decorated corelations）作为一种构建超图范畴的方法——即对称单子范畴，其中每个对象具有特殊的交换弗罗贝尼乌斯幺半群结构——通过将核心联结（经由(E,M)-分解系统分解的余链）与一个到Set的对称松弛单子函子结合。关键贡献在于提出了一种通用构造方法，可在组合网络类系统（如电路）时通过丢弃无关内部结构实现高效且语义保持的组合，并通过装饰函子之间的自然变换系统性地定义超图函子。

ABSTRACT

Let $\mathcal C$ be a category with finite colimits, and let $(\mathcal E,\mathcal M)$ be a factorisation system on $\mathcal C$ with $\mathcal M$ stable under pushouts. Writing $\mathcal C;\mathcal M^{\mathrm{op}}$ for the symmetric monoidal category with morphisms cospans of the form $\stackrel{c} o \stackrel{m}\leftarrow$, where $c \in \mathcal C$ and $m \in \mathcal M$, we give method for constructing a category from a symmetric lax monoidal functor $F\colon (\mathcal C; \mathcal M^{\mathrm{op}},+) o (\mathrm{Set}, imes)$. A morphism in this category, termed a \emph{decorated corelation}, comprises (i) a cospan $X o N \leftarrow Y$ in $\mathcal C$ such that the canonical copairing $X+Y o N$ lies in $\mathcal E$, together with (ii) an element of $FN$. Functors between decorated corelation categories can be constructed from natural transformations between the decorating functors $F$. This provides a general method for constructing hypergraph categories---symmetric monoidal categories in which each object is a special commutative Frobenius monoid in a coherent way---and their functors. Such categories are useful for modelling network languages, for example circuit diagrams, and such functors their semantics.

研究动机与目标

• 开发一个范畴论框架，以尊重其组合与语义结构的方式建模网络语言（如电路图）。
• 解决装饰余链在组合过程中保留无关内部细节导致的低效问题，尤其是在语义模型中。
• 通过核心联结与对称松弛单子函子，提出一种通用的超图范畴构造方法，确保与网络式组合的一致性与兼容性。
• 通过装饰函子之间的自然变换，实现此类范畴之间超图函子的构造，促进语义映射。
• 在具体示例（如线性关系LinRel和电路）中展示该方法，证明其在实际建模中的实用性。

提出的方法

• 使用核心联结——余链X →N ←Y，其中余配对X+Y →N 属于E，来自具有有限并集的范畴C上的(E,M)-分解系统。
• 构建一个对称单子范畴C;M^op，其态射为顶点在C中、腿在M中的余链，单子结构由不相交并集给出。
• 应用一个对称松弛单子函子F: (C;M^op, +) →(Set, ×)，以附加数据（如子空间或电路配置）装饰核心联结。
• 将装饰核心联结定义为一对：一个核心联结X →N ←Y（其中余配对属于E）和FN中的一个元素，其组合通过上诱导（pushouts）和F的函子性定义。
• 当M在上诱导下稳定时，确保所得到的范畴继承超图范畴结构，通过核心联结组合诱导的弗罗贝尼乌斯幺半群结构实现。
• 通过装饰函子F与G之间的自然变换，构造装饰核心联结范畴之间的函子，保持超图结构。

实验结果

研究问题

• RQ1 如何构建一个超图范畴，以建模网络组合，同时丢弃无关内部结构？
• RQ2 何种条件下，分解系统(E,M)可确保核心联结形成一个超图范畴？
• RQ3 如何利用装饰核心联结在如电路图到线性关系等网络模型之间定义超图函子？
• RQ4 LinRel作为装饰核心联结范畴的构造能否从通用方法中推导得出？这对不可控系统语义意味着什么？
• RQ5 在建模开放系统语义方面，装饰核心联结方法相较于装饰余链有何改进？

主要发现

• 本文证明：若C具有有限并集，且(E,M)是一个分解系统，且M在上诱导下稳定，则C中的核心联结构成一个超图范畴。
• 装饰核心联结被定义为一个核心联结X →N ←Y（其中余配对属于E），并由FN中的一个元素装饰，其中F是到(Set,×)的对称松弛单子函子。
• 该构造生成的范畴，当应用于有限集范畴与同构-态射分解系统，以及将k^N子空间映射到Set的函子Lin: FinSet →Set时，其态射与线性关系同构。
• 通过装饰核心联结构造的范畴LinCorel，与LinRel（有限维向量空间与线性关系的范畴）同构，为线性系统提供了核心联结基础。
• 可通过从电路函子Circ到复合函子Lin∘γ的单子自然变换，从电路图的装饰余链范畴构造一个到LinRel的超图函子，其中γ将有限集嵌入余链。
• 该方法可推广至任意超图范畴，通过装饰函子之间的自然变换构造超图函子，从而统一语法与语义建模。