# Semantics

To give a semantics for central terms over signatures and , we need a symmetric monoidal category C with an interpretation for , and V a subcategory with the same objects. For example:

- Set Rel.

- Cpo Cpo.

- V VT, where T is any commutative monad satisfying the monic condition, and VT is the Kliesli category.

- Term() Term(,).

- Graph() Graph(,).

Proposition Graph(,) is the initial strict symmetric monoidal category over over with Graph() as a sub-smc.