摘要翻译：
著名生物学家罗伯特·罗森为生物生命和人工生命之间的内在差异辩护，支持“生命系统不是机制”的说法。这一结果被理解为类生命机制不可计算的主张，可以被表述为一类“静态”/分析元素和一类“可变”/合成元素之间不存在等价性。一个综合系统的性质，被理解为分析的“变量族”的粘合，必然意味着后一类对象没有保留足够的信息来描述这种可变性；我们用一个植根于初等范畴理论的论点来为这篇论文做出贡献。从这个意义上看，罗森关于没有一个有生命的系统可以是一种机制的“证明”产生于两种对位需要之间的紧张关系：一方面，需要考虑（综合地）可变的系统家族；另一方面，通过一个普遍选择的分析来描述一个综合体的必要性。
---
英文标题：
《Rosen's no-go theorem for regular categories》
---
作者：
Fosco Loregian
---
最新提交年份：
2021
---
分类信息：

一级分类：Mathematics        数学
二级分类：Category Theory        范畴理论
分类描述：Enriched categories, topoi, abelian categories, monoidal categories, homological algebra
丰富范畴，topoi，abelian范畴，monoidal范畴，同调代数
--
一级分类：Quantitative Biology        数量生物学
二级分类：Other Quantitative Biology        其他定量生物学
分类描述：Work in quantitative biology that does not fit into the other q-bio classifications
不适合其他q-bio分类的定量生物学工作
--

---
英文摘要：
  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.
---
PDF链接：
https://arxiv.org/pdf/2012.11648