[论文解读] First Steps towards Categorical Algebraic Artificial Chemistry

Joe Pratt-Johns, Toby St. Clere Smithe+3 more|arXiv (Cornell University)|Mar 10, 2026

Origins and Evolution of Life被引用 0

一句话总结

论文通过一个 Flask 忠实函子定义了一个范畴论框架，将马尔可夫动力学分配到 Lawvere 理论的代数上，推广 Fontana–Buss AlChemy，并实现对代数人工化学的形式化、可组合分析。

ABSTRACT

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.

研究动机与目标

• 动机：用范畴论来组织和比较代数人工化学。
• 引入一个通用构造（Flask），将代数结构转化为随机动力学。
• 在统一框架内推广 Minimal Chemistry Zero (MC0) 模型。
• 为可组合的代码库及未来对模型的形式化比较提供基础。

提出的方法

• 回顾 Lawvere 理论及其代数，作为单范畴理论的语法/语义框架。
• 引入马尔可夫过程范畴和分布子函子以建模离散动力学。
• 定义 Flask 函子 Flask^{T}_{P}: T-Algebras -> Mark，接受一个 T-代数和一个协议 P 以得到马尔可夫过程。
• 将状态空间描述为有限支持的多重集合（multisets），并通过基于多重集的协议来规定转移规则。
• 通过群的具体案例（MC0 类比）直观说明碰撞规则如何产生动力学。
• 证明 Flask 是一个良定义的函子（定理 5.4），并扩展到多个协议（推论 5.7）。

实验结果

研究问题

• RQ1 如何将一般的代数结构（Lawvere 理论）转化为与马尔可夫过程兼容的随机动力学？
• RQ2 协议 P 在支配相互作用中的作用是什么，改变 P 如何影响结果动力学？
• RQ3 Flask 构造是否保持代数态射并保持马尔可夫结构（函子性）？
• RQ4 MC0 示例如何实现一般的 Flask 构造，并说明框架的可解释性？
• RQ5 该方法是否支持具备可组合性和开放端特性的人工化学，并能在模型之间进行形式化比较？

主要发现

• Flask 构造 Flask^{T}_{P} 为每个 T-代数分配一个马尔可夫过程，并在代数态射下按函子性依赖。
• 状态空间是携带代数载体的有限支持多重集合的集合，动力学由描述组分相互作用的协议 P 控制。
• 对于 MC0/直觉示例，λ-项表示的碰撞通过规约规则产生新项，体现了代数交互到动力学的编码。
• 定理 5.4 建立 Flask^{T}_{P} 是从 T-Algebras 到 Mark 的良定义函子，确保形式化的可组合性。
• 推论 5.7 表明 Flask 可以扩展到一个 n 元组的协议，通过分布子函子的单子结构保持函子结构。
• 该框架推广了 MC0，并提供一个正式的、组织化的工具，用以比较模型并构建可组合的实验管线。