Semantics
The category
Graph
(
,
,
) has vectors of sorts as objects, and three-coloured flow graphs as morphisms, considered up to bisimulation.
Identity:
Composition:
Tensor left:
Tensor right:
Symmetry:
Centre:
,
,
)
has vectors of sorts as objects, and three-coloured flow graphs as morphisms,
considered up to bisimulation.