Generic commutative separable algebras and cospans of graphs
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters · Theory and applications of categories · 2005
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.