首页/论文/0909.4136

arXiv 0909.41362009-09-23math.CT

图的余跨距和跨距：离散系统的顺序和并行合成的范畴代数

Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems

L. de Francesco Albasini, N. Sabadini, R. F. C. Walters

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们进一步发展代数的cospans和跨度的图介绍了卡蒂斯，Sabadini和沃尔特斯的顺序和并行组成的进程，在这里添加数据类型。

英文摘要：

We develop further the algebra of cospans and spans of graphs introduced by Katis, Sabadini and Walters for the sequential and parallel composition of processes, adding here data types.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

开放系统：一个双重范畴的视角

Open Systems: A Double Categorical Perspective

Fong开发了“装饰cospans”来模拟各种开放系统：即具有输入和输出的系统。在这个框架中，开放系统被看作是范畴的态射，并且可以这样组成，允许更大的开放系统从更小的系统建立起来。在这个方向上已经做了很多工作，但有一个问题：修饰余跨度之间的同构概念往往限制太多。在这里，我们介绍并比较了两种解决这个问题的方法：结构化的cospans，和一个新版本的装饰cospans。结构化cosspan非常简单：给定一个函子$L \colon \mathsf{A} \to \mathsf{X}$，“结构化cosspan”是$\mathsf{X}$中的一个图，形式为$L(a) \rightarrow x \leftarrow L(b)$。若$\mathsf{A}$和$\mathsf{X}$有有限余极限，且$L$是左伴随，则存在一个对称幺半范畴，其对象是$\mathsf{A}$的对象，其态射是结构余跨距的同构类.然而，这个范畴产生于一个更基本的结构：一个对称的monoidal double范畴。在一定条件下，这个对称monoidal双范畴等价于用我们的新版本的装饰cospans构造的范畴。我们将这些思想应用到对称么半群双范畴的开放电路，开放马尔可夫过程和开放Petri网。

2020-08-05math.CT

cospans的跨度

Spans of cospans

我们讨论了cospans跨度的概念，并为它们定义了水平和垂直组成。如果在拓扑$\mathbf{C}$中工作并且如果跨度支腿是monic的，则这些组合物满足互换定律。然后从$\mathbf{C}$ -对象、$\mathbf{C}$ -cospans和$\mathbf{C}$ -cospans的双单跨度构造双范畴。这种构造的主要动机是图重写的应用。

2017-01-22math.CT

从双范畴论视角看结构化与装饰余跨

Structured and Decorated Cospans from the Viewpoint of Double Category Theory

本研究利用双范畴论核心概念简化推广结构化与装饰余跨框架，证明其双范畴的余笛卡尔与装备性质，借助双格罗滕迪克构造给出装饰余跨新构造并实现自然推广。

2023-12-14math.CT

topos中cospans的跨度

Spans of cospans in a topos

对于一个拓扑$\mathbf{T}$，存在一个双范畴$\mathbf{MonicSp(Csp(T))}$，它的对象是$\mathbf{T}$的对象，态射是$\mathbf{T}$中的余跨距，2-态射是$\mathbf{T}$中余跨距的一元跨距的同构类.利用Shulman的一个结果，证明了$\mathbf{MonicSp(Csp(T))}$是对称的么半群，并且在Stay意义下是紧闭的.我们提供了一个应用程序，说明如何编码双推出重写规则作为$2$ -态射内的一个紧凑的封闭子双范畴的$\mathbf{MonicSp(Csp(Graph))}$。

2018-02-01math.CT

一个装饰余跨度的双范畴

A bicategory of decorated cospans

如果$\mathbf{C}$是一个具有回调的范畴，那么存在一个双范畴，其对象与$\mathbf{C}$相同，span作为态射，span的映射作为2-态射，如Benabou所示。Fong提出了“装饰”余跨度理论，它是$\mathbf{C}$中的余跨度，具有额外的结构。这个额外的结构产生于一个松散的对称monoidal函子$F \colon \mathbf{C} \to \mathbf{D}$ ;我们使用这个函子来“装饰”每个cosspan与顶点$N \in \mathbf{C}$和一个元素$F(N)$。利用Shulman的一个结果，我们证明了当$\mathbf{C}$有有限余极限时，修饰余跨距是对称monoidal双范畴中的态射.我们说明我们的建设与电气工程和化学反应网络理论的例子。

2017-09-19math.CT

腿越多越好：对称（多）透镜的新组合

The more legs the merrier: A new composition for symmetric (multi-)lenses

透镜是一个范畴理论的构造，并在各种各样的应用中使用。对称透镜组合，当然，形成新的对称透镜。对称透镜通常表示为非对称透镜的跨距。在许多应用中，对称透镜也可以表示为非对称透镜的共跨距的事实是重要的，特别是对于实现目的。然而，对称透镜的组合并不保持透镜可以由cosspan表示的性质-两个这样的对称透镜可以（并且经常）组合以形成不能被表示为非对称透镜的cosspan的对称透镜。因此，保留因式分解以显示如何在实现中使用非对称透镜的共跨距变得重要。2018年，第一个多镜头工作开始了。多透镜可以表示为多跨距的非对称透镜（通常称为“宽跨距”，这些跨距具有任意有限数量的腿）。在本文中，我们分析了一个小的，但现实的例子，供应链中的cospan表示将'组成了'由普通对称透镜组成，并介绍了一种新的组成，我们称之为'融合'，其中两个普通对称透镜（具有两条腿的跨度）融合以形成具有三条腿的多透镜，并且更一般地，两个对称的多透镜，具有例如m和n个腿的跨距融合以形成具有m+n-1个腿的对称多透镜，再次保持cosspan表示。

2021-01-26math.CT

更多相关论文收起更多论文

重写结构余弦

Rewriting Structured Cospans

Southern Connecticut State University（南康涅狄格州立大学）

本文提出结构余弦重写理论，通过2-范畴框架定义语法并构建语言，证明各类网络模型的语法与离散语法等价，扩展了图变换的经典结果。

2026-04-02cs.FLcs.SImath.CT

Span、Costan和其他双范畴

Span, Cospan, and Other Double Categories

给定一个双范畴D，使得D_0有推出，我们刻画了D与Cosspan（D_0）之间的oplax/lax映射，使得D_0上的右伴随是正规的并限制于D_0上的恒等式，其中Cosspan（D_0）表示D_0上垂直态射是cosspan的双范畴.我们证明了这样一对存在当且仅当D有同伴，conjoints，和1-cotabulator。右伴随由伴随和结合诱导，左伴随由1-余表诱导。1-余表子的概念是模的对称代数和拓扑、局部和拓扑空间的Artin-Wraith胶合的一个普通推广。在此基础上，我们得到了具有伴随和结合的双范畴的一个特征，即D_0上的单位函子扩张到从Cosspan（D_0）到D的正规Lax函子。

2012-01-18math.CTmath.GNmath.RA

计算组成的Colimits

Calculating Colimits Compositionally

我们展示了如何有限的限制和colimits可以计算成分使用代数的跨度和cospans，并作为一个应用程序的Kleene定理的证明正规语言。

2007-12-15math.CT

紧跨度、Isbell完井和亚热带模块

Tight spans, Isbell completions and semi-tropical modules

本文考虑Lawvere意义下广义度量空间的范畴Isbell完备化构造。我们表明，这是一个模拟的紧跨度建设的经典度量空间，并Isbell完成与定向紧跨度平井和Koichi。范畴完备化和余完备化的概念与亚热带模结构的存在性有关，并且证明了Isbell完备化（因此是有向紧跨距）具有两种不同的亚热带模结构.

2013-02-18math.CTmath.MG

2-Segal空间的一个∞-范畴

An $\infty$-Category of 2-Segal Spaces

该研究引入2-Segal对象间的跨度与双相对2-Segal对象概念，建立其与跨度中代数、双模对象的∞-范畴等价，可应用于K理论并构造Hall代数的同伦相容表示。

2025-10-29math.ATmath.CTmath.KT

从同调代数到拓扑--从B型Zigzag代数到Heisenberg代数

From Homological Algebra to Topology via Type B Zigzag Algebra and Heisenberg Algebra

构造了有限维代数上$B$型辫群在有限维代数上的有界生成投射模的同伦范畴上的忠实范畴作用，我们称之为$B$型之字形代数.这种分类作用与$B$型辫群对圆盘曲线的作用密切相关。因此，我们的论述可以被看作是Khovanov-Seidel在arXiv：math/0006056中的工作的$B$型模拟。此外，我们把我们的$B$ Artin型辫群的拓扑（分别是范畴）作用与它们的$A$ Artin型辫群的拓扑（分别是范畴）作用联系起来。然后，我们利用arXiv：1309.0865中的图解工具，按照Jensen的硕士论文中使用的策略，证明了Rouquier的猜想，即arXiv：math 0409593中关于Soergel范畴上的类型$B$ $2$ -辫群的忠实性的猜想3.8。在论文的最后一部分，我们利用Heisenberg代数在Laurent环$\mathcal{Z}[t,t^{-1}]$上构造了一个分次Fock向量，用于无交叉匹配。我们猜想这类向量的跨度构成了一个Temperley-Lieb表示，从而得到了Jones多项式的一个新表示。

2023-02-21math.CTmath.GTmath.QA

混杂系统的形式合成

Formal composition of hybrid systems

Air Force Research Laboratory（空军研究实验室）；Wright State University（莱特州立大学）；University of Pennsylvania（宾夕法尼亚大学）；Texas A&M University（德克萨斯A&M大学）

我们使用范畴论的语言开发了一个混合系统形式化综合的组合框架。更具体地说，我们提供了相互兼容的工具，分层，顺序和独立的并行组合。在我们的框架中，层次结构的混合动力系统对应的模板锚对，我们的模型作为细分和嵌入的跨jugacies。模板-锚点对的分层组合对应于通过拉回的跨度的组合。为了模拟顺序组成，我们引入了“有向混合动力系统”，其中每个流从一个初始子系统到一个最终的子系统在康利理论的意义。有向系统的顺序组合由图嵌入的推出给出，重写重叠子系统的连续动力学以优先考虑第二有向系统。独立平行合成对应于关于双偶的范畴积。为了形式化这三种类型的组合的兼容性，我们构建了一个垂直carnival双范畴的混合系统，其中的垂直态射是双jugacies，水平态射是有向混合系统。

2020-08-10cs.ROmath.CTmath.DS