论文标题
罗森的常规类别的无关定理
Rosen's no-go theorem for regular categories
论文作者
论文摘要
著名的生物学家罗伯特·罗森（Robert Rosen）主张生物学和人造生活之间存在内在差异，并支持“生命系统不是机制”的说法。这种结果被理解为认为栩栩如生的机制是不可兼容的，可以用作“静态”/分析元素类别与“变量”/合成元素类别之间的等价性的不存在。 合成系统的特性，被理解为Analytica的“可变家族”的粘合，必须暗示后一类的对象没有保留足够的信息来描述上述可变性；我们以植根于基本类别理论的论点为这一论文做出了贡献。 这样，罗森的“证明”表明，没有生命系统可以是两个对立需求之间的紧张局势：一方面，必须考虑（合成）系统的可变家族的必要性；另一方面，必须通过普遍选择的分析来描述合成原则的必要性。
The famous biologist Robert Rosen argued for an intrinsic difference between biological and artificial life, supporting the claim that `living systems are not mechanisms'. This result, understood as the claim that life-like mechanisms are non-computable, can be phrased as the non-existence of an equivalence between a category of `static'/analytic elements and a category of `variable'/synthetic elements. The property of a system of being synthetic, understood as being the gluing of `variable families' of analytica, must imply that the latter class of objects does not retain sufficient information in order to describe said variability; we contribute to this thesis with an argument rooted in elementary category theory. Seen as such, Rosen's `proof' that no living system can be a mechanism arises from a tension between two contrapuntal needs: on one side, the necessity to consider (synthetically) variable families of systems; on the other, the necessity to describe a syntheticum via an universally chosen analyticum.
