On the Completeness of the Traced Monoidal Category Axioms in (Rel,+) (Q5350160)
From MaRDI portal
scientific article; zbMATH DE number 6766097
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Completeness of the Traced Monoidal Category Axioms in (Rel,+) |
scientific article; zbMATH DE number 6766097 |
Statements
On the Completeness of the Traced Monoidal Category Axioms in (Rel,+) (English)
0 references
25 August 2017
0 references
monoidal categories
0 references
trace
0 references
iteration
0 references
feedback
0 references
identities in categories
0 references
equational completeness
0 references
