Traced monoidal categories¶
André Joyal, R. S., & Verity, D. (1996). Traced monoidal categories.
Cited by¶
2 citations across 1 artifact.
Domain-specific¶
- Traced monoidal category
- The structure formalizes feedback in circuits, programs, automata and tensor networks; symmetric, braided, balanced and compact closed settings supply different trace constructions.
- The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:a76153d1c71c · see in the full table