Robert Frank Carslaw Walters > Home > Publications > Pdf Files of Papers > Separable algebra 2005
R Rosebrugh, N Sabadini, RFC Walters
We show that the generic symmetric monoidal category with a commutative
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.