Traced monoidal categories are introduced, a structure theorem is proved for them, and an example is provided where the structure theorem has application.
No takes yet. Share an insight, caveat, or question.
Joyal et al. (1996) studied this question.