GENERIC COMMUTATIVE SEPARABLE ALGEBRAS AND COSPANS OF GRAPHS

GENERIC COMMUTATIVE SEPARABLE ALGEBRAS AND COSPANS OF GRAPHS
复制标题

通用交换可分代数和图的余跨

DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
R. Walters
R. Walters
中科院分区：
--
文献类型：
--
作者：
R. Rosebrugh;N. Sabadini;R. Walters

文献摘要

被引文献

相似文献

我们证明了具有可换可分代数的一般对称monoidal范畴是有限个标号图的余跨度范畴，该有限个标号图的余跨度仅限于有限个作为对象的集合，从而为字母表上的自动机提供了一个语法.我们使用这个结果来产生语义函子的自动机。
We show that the generic symmetric monoidal category with a commu- tative separable algebra which has a Σ-family of actions is the category of cospans of finite Σ-labelled graphs restricted to finite sets as objects, thus providing a syntax for automata on the alphabet Σ. We use this result to produce semantic functors for Σ- automata.