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