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