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.