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:
Proposition
Graph(,) is the
initial strict symmetric monoidal category over
over
with Graph()
as a sub-smc.