arXiv Open Access 2026

First Steps towards Categorical Algebraic Artificial Chemistry

Joe Pratt-Johns Toby St. Clere Smithe Chris Guiver Kevin Hughes Peter Andras
Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

Penulis (5)

J

Joe Pratt-Johns

T

Toby St. Clere Smithe

C

Chris Guiver

K

Kevin Hughes

P

Peter Andras

Format Sitasi

Pratt-Johns, J., Smithe, T.S.C., Guiver, C., Hughes, K., Andras, P. (2026). First Steps towards Categorical Algebraic Artificial Chemistry. https://arxiv.org/abs/2603.09431

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2026
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓