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.

翻译：我们构建了一个函子，为相互作用组件的代数模型提供动力学机制。该构造推广了Fontana和Buss在人工生命领域提出的AlChemy计算模型——该模型通过lambda演算项及其应用与归约来模拟分子及其化学反应。我们探讨了范畴论作为组织工具在代数人工化学中的应用前景，重点在于形式化此类模型中代数层面与动力学层面的内在联系。