Thursday, September 24, 2009

Cospan-span article posted at arxiv, 24 September 2009

I have just posted our new article on
Title: Cospans and spans of graphs: a categorical algebra for the sequential
and parallel composition of discrete systems
Authors: L. de Francesco Albasini, N. Sabadini, R.F.C. Walters
on arxiv.

I might write some blogs explaining the ideas behind this paper, possible expanding this post.

Two points in the paper: I have been thinking for years about the relation between sequential and parallel operation in discrete systems. It is somehow the relation between time and space.
The earliest ideas are in my book "Categories and Computer Science (Cambridge)", where I emphasised distributive categories. But finally this summer with Nicoletta we have become convinced that the algebra is one of lax double categories of cospans of spans (or spans of cospans).
The distributive law plays a fundamental role in the paper.

More later. Or see the paper.

Labels: ,


Post a Comment

<< Home