Traced monoidal category
From Wikipedia, the free encyclopedia
In category theory, a traced monoidal category is a category with some extra structure which gives a reasonable notion of feedback.
[edit] References
- André Joyal, Ross Street, Dominic Verity (1996). "Traced monoidal categories". Mathematical Proceedings of the Cambridge Philosophical Society 3: 447-468.