Rel.
Cpo
.
VT,
where T is any commutative monad satisfying the monic condition,
and VT is the Kliesli
category.
) Term(,
).
) Graph(,).
and , we need
a symmetric monoidal category C
with an interpretation for ,
and V a subcategory with the same objects.
For example:
Rel.
Cpo.
VT,
where T is any commutative monad satisfying the monic condition,
and VT is the Kliesli
category.
) Term(,).
) Graph(,).
,) is the
initial strict symmetric monoidal category over
over
with Graph()
as a sub-smc.