Polygraph

A polygraph signature, $𝓖$, is given by a set of objects, ${𝓖}_{\mathrm{obj}}$, and a set of polyedges $𝓖(X_1,...,X_n;Y_1,...,Y_m)$ for every two lists of objects $X_1,...,X_n\in {𝓖}_{\mathrm{obj}}$.

• underlying polyquiver of a monoidal category
• unit of the polyquiver-monoidal adjunction

References

• The Geometry of Tensor Calculus I (Joyal, Street)

Tags: signature, strict monoidal category.