Links to publications 2005

Generic commutative separable algebras and cospans of graphs
R. Rosebrugh, N. Sabadini and R.F.C. Walters

We show that the generic symmetric monoidal category with a commutative separable algebra which has a $\Sigma$-family of actions is the category of cospans of finite $\Sigma$-labelled graphs restricted to finite sets as objects, thus providing a syntax for automata on the alphabet $\Sigma$. We use this result to produce semantic functors for $\Sigma$-automata.