Semantics
Another presentation of this result about flow graphs is to say
that for any strict symmetric premonoidal category
C P
we can find a symmetric monoidal category D
such that:
So the state transformer premonoidal category is in this sense
canonical.