图的余跨和跨：离散系统顺序与并行组合的范畴代数
范畴论
2009-09-24 v1
摘要
我们进一步发展了由 Katis、Sabadini 和 Walters 引入的用于过程顺序与并行组合的图的余跨和跨代数，在此添加了数据类型。
引用
@article{arxiv.0909.4136,
title = {Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems},
author = {L. de Francesco Albasini and N. Sabadini and R. F. C. Walters},
journal= {arXiv preprint arXiv:0909.4136},
year = {2009}
}