Traced monoidal category

In category theory, a traced monoidal category is a category with some extra structure which gives a reasonable notion of feedback.
A traced symmetric monoidal category is a symmetric monoidal category C together with a family of functions
called a "trace", satisfying the following conditions:
(where formula_23 is the symmetry of the monoidal category).