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

is the symmetry of the monoidal category).

This category theory-related article is a stub.

You can help Wikipedia by expanding it.