String diagram rewrite theory II: rewriting with symmetric monoidal structure
Symmetric monoidal theories (SMTs) generalise algebraic theories in a way that make them suitable to express resource-sensitive systems, in which variables cannot be copied or discarded at will. In SMTs, traditional tree-like terms are replaced by <i>string diagrams</i>, topological enti...
| Huvudupphovsmän: | , , , , |
|---|---|
| Materialtyp: | Journal article |
| Språk: | English |
| Publicerad: |
Cambridge University Press
2022
|