结构化余化图
摘要：结构化余弦范引论网络中的输入和输出。给定一个函子$L：\mathsf{A} \to \mathsf{X}$，一个结构化余弦范是一个形如$L(a) \to x \leftarrow L(b)$的$mathsf{X}$中的图。如果$\mathsf{A}$和$\mathsf{X}$具有有限余极限并且$L$是一个左伴随，我们将得到一个对称的单子范畴，其对象是$\mathsf{A}$的对象，其态射是结构化余弦范的同构类。这是一个超图范畴。然而，它源自一个更基本的结构：一个对称的单子双范畴，其中水平1-胞给出了结构化余弦范。我们展示了结构化余弦范如何解决与“装饰余弦范”紧密相关的一些问题，并解释了它们在一些示例中的作用：电路、Petri网和化学反应网络。
作者：John C. Baez and Kenny Courser
论文ID：1911.04630
分类：Category Theory
分类简称：math.CT
提交时间：2020-11-11