On a general notion of a polynomial identity and codimensions

A. S. Gordienko

Using the braided version of Lawvere's algebraic theories and Mac Lane's PROPs, we introduce polynomial identities for arbitrary algebraic structures in a braided monoidal category…