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.


This category theory-related article is a stub. You can help Wikipedia by expanding it.