Generalised Process Theories
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866918013976969216 |
|---|---|
| author | Selby, John H. Stasinou, Maria E. Wilson, Matt Coecke, Bob |
| author_facet | Selby, John H. Stasinou, Maria E. Wilson, Matt Coecke, Bob |
| contents | Process theories provide a powerful framework for describing compositional structures across diverse fields, from quantum mechanics to computational linguistics. Traditionally, they have been formalized using symmetric monoidal categories (SMCs). However, various generalizations, including time-neutral, higher-order, and enriched process theories, do not naturally conform to this structure. In this work, we propose an alternative formalization using operad algebras, motivated by recent results connecting SMCs to operadic structures, which captures a broader class of process theories. By leveraging the string-diagrammatic language, we provide an accessible yet rigorous formulation that unifies and extends traditional process-theoretic approaches. Our operadic framework not only recovers standard process theories as a special case but also enables new insights into quantum foundations and compositional structures. This work paves the way for further investigations into the algebraic and operational properties of generalised process theories within an operadic setting. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_10368 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Generalised Process Theories Selby, John H. Stasinou, Maria E. Wilson, Matt Coecke, Bob Category Theory Mathematical Physics Quantum Physics Process theories provide a powerful framework for describing compositional structures across diverse fields, from quantum mechanics to computational linguistics. Traditionally, they have been formalized using symmetric monoidal categories (SMCs). However, various generalizations, including time-neutral, higher-order, and enriched process theories, do not naturally conform to this structure. In this work, we propose an alternative formalization using operad algebras, motivated by recent results connecting SMCs to operadic structures, which captures a broader class of process theories. By leveraging the string-diagrammatic language, we provide an accessible yet rigorous formulation that unifies and extends traditional process-theoretic approaches. Our operadic framework not only recovers standard process theories as a special case but also enables new insights into quantum foundations and compositional structures. This work paves the way for further investigations into the algebraic and operational properties of generalised process theories within an operadic setting. |
| title | Generalised Process Theories |
| topic | Category Theory Mathematical Physics Quantum Physics |
| url | https://arxiv.org/abs/2502.10368 |