First Steps towards Categorical Algebraic Artificial Chemistry
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910047486869504 |
|---|---|
| author | Pratt-Johns, Joe Smithe, Toby St. Clere Guiver, Chris Hughes, Kevin Andras, Peter |
| author_facet | Pratt-Johns, Joe Smithe, Toby St. Clere Guiver, Chris Hughes, Kevin Andras, Peter |
| contents | We construct a functor that gives a dynamics to an algebraic model of interacting components. The construction generalises a computational model of Fontana and Buss in the field of artificial life known as AlChemy, in which molecules and their chemical interactions are emulated by lambda calculus terms and their application and subsequent reduction. We discuss future directions for the application of category theory to algebraic artificial chemistry as an organisational tool, with a focus on formalising the connection between the algebraic and the dynamical facets of such models. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_09431 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | First Steps towards Categorical Algebraic Artificial Chemistry Pratt-Johns, Joe Smithe, Toby St. Clere Guiver, Chris Hughes, Kevin Andras, Peter Computational Engineering, Finance, and Science We construct a functor that gives a dynamics to an algebraic model of interacting components. The construction generalises a computational model of Fontana and Buss in the field of artificial life known as AlChemy, in which molecules and their chemical interactions are emulated by lambda calculus terms and their application and subsequent reduction. We discuss future directions for the application of category theory to algebraic artificial chemistry as an organisational tool, with a focus on formalising the connection between the algebraic and the dynamical facets of such models. |
| title | First Steps towards Categorical Algebraic Artificial Chemistry |
| topic | Computational Engineering, Finance, and Science |
| url | https://arxiv.org/abs/2603.09431 |