Please note: You are viewing the unstyled version of this web site. Either your browser does not support CSS (cascading style sheets) or it has been disabled.

Macquarie University  Department of Mathematics

Local Navigation

Categories in Algebra, Geometry and Mathematical Physics

Conference in honour of Ross Street's sixtieth birthday

July 11-16 2005, Macquarie University, Sydney

Mon, 11 July:  14:00 - 14:40

Well-supported compact closed categories of processes
Walters, Robert F.C. (Università dell'Insubria)

In \bibref{1,3} the notion of well-supported compact closed categories was introduced --- symmetric monoidal categories for which every object has a separable algebra structure.

More recently it was shown in \bibref{2} that the category whose arrows are cospans of $A$-labelled graphs between finite sets is the generic symmetric monoidal category with a separable algebra which has an $A$-family of actions. Such a category we regard as being a simple example of a category of processes with sequential operations.

In this lecture we would like to describe other examples, both syntactic and semantic, with behaviour functors between them. We will describe also parallel operations and distributive laws on such categories of processes.

\bibitem A.\ Carboni, {\em Matrices, relations and group representations}, J.\ Algebra, 138:497--529, 1991.
\bibitem R.\ Rosebrugh, N.\ Sabadini, R.F.C.\ Walters, {\em Symmetric separable algebras in monoidal categories and $\mathrm{Cospan(Graph)}$}, Abstracts of the International Category Theory Conference, CT'04, Vancouver 2004.
\bibitem R.F.C.\ Walters, {\em The tensor product of matrices}, Lecture, International Conference on Category Theory, Louvain-la-Neuve, 1987.

Typeset PDF of this abstract.