Layered Monoidal Theories I: Diagrammatic Algebra and Applications
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915812180230144 |
|---|---|
| author | Lobski, Leo Zanasi, Fabio |
| author_facet | Lobski, Leo Zanasi, Fabio |
| contents | We develop layered monoidal theories -- a generalisation of monoidal theories combining formal descriptions of a system at different levels of abstraction. Via their representation as string diagrams, monoidal theories provide a graphical formalism to reason algebraically about information flow in models across different fields of science. Layered monoidal theories allow mixing several monoidal theories (together with translations between them) within the same string diagram, while retaining mathematical precision and semantic interpretability. We develop the mathematical foundations of layered monoidal theories, as well as providing several instances of our approach, including digital and electrical circuits, quantum processes, chemical reactions, concurrent processes, and probability theory. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_19776 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Layered Monoidal Theories I: Diagrammatic Algebra and Applications Lobski, Leo Zanasi, Fabio Logic in Computer Science 18M30 F.4.1 We develop layered monoidal theories -- a generalisation of monoidal theories combining formal descriptions of a system at different levels of abstraction. Via their representation as string diagrams, monoidal theories provide a graphical formalism to reason algebraically about information flow in models across different fields of science. Layered monoidal theories allow mixing several monoidal theories (together with translations between them) within the same string diagram, while retaining mathematical precision and semantic interpretability. We develop the mathematical foundations of layered monoidal theories, as well as providing several instances of our approach, including digital and electrical circuits, quantum processes, chemical reactions, concurrent processes, and probability theory. |
| title | Layered Monoidal Theories I: Diagrammatic Algebra and Applications |
| topic | Logic in Computer Science 18M30 F.4.1 |
| url | https://arxiv.org/abs/2602.19776 |