边界作为一个数学对象

第一层 · 边界本体论——这套理论说自主性边界究竟是什么

多数关于代理自主性的工作从行为出发：它做了什么、做得如何、在哪里失败。这套纲领提前一步，先问一个定义性问题——自主性边界是哪一种数学对象？在这个问题被回答之前，「代理有边界」只是一句比喻，而对它的任何测量都不过是针对这句比喻的替代指标。

这里给出的回答是单一的一个构造，用范畴论的语言陈述。

构造

固定一个因果干预范畴：对象是系统的状态，箭头是你可以对它施加的干预。代理的归因——它把输入的哪些部分当作自我、哪些当作非我、哪些尚未判定——构成一个进入三元素概率单纯形的函子：

A : Caus^{op} \to Δ^{2}

三条公理约束这个函子与干预相容。三者合起来，从归因结构中唯一挑出一个子对象：它的稳定闭包纤维。

B = StableClosureFiber (A)

B 就是边界。它不是一张曲面、一个阈值或一组参数——它是归因函子的稳定闭包纤维；后续各层关于锐度与平衡点所说的一切，都是针对这个对象说的。

这是关于边界最容易搞错的结构性事实，所以放在任何后续之前说。边界不是一个单一对象，它是一个对：

\partial = (已决面 — 一个集合 Fix (c), 未决度 — 一个分级值 b (x) = 1 - p_{S} (x) - p_{N} (x))

部分	它是哪一种东西	读法
已决面 $Fix (c)$	一个集合——内聚闭包的不动点	归属在这里不再被干预改变。等价地，右伴随的像。
未决度 $b \in [0, 1]$	一个分级值	每个状态离被决有多远： $b = 0$ 已完全决， $b = 1$ 最大程度两属。

两个坑，靠命名避开。 （i）两部分是不同种类的对象——一个集合、一个值。把它们都叫"集合"是类型错误，不是措辞问题。（ii）

b

是平衡度量，不是不确定性度量：不存在函数

f

使

p_{U} = f (b)

——全无知与对半分同给

b = 1

，这是机检反例。长期以来在这里使用的"模糊"一词，恰恰招致这种误读，现已退役。

第一层只回答一个问题：自主性边界在数学上是什么？它不说边界有多锐、更锐是否更好、也不说任何物理量应当取什么值。那些是另外的问题，由另外一层回答。

是两层，不是一条链。 把整套理论写成一条推导链——仿佛公理直接产出了标量势——是很自然的写法；作者认为，那正是一份早期投稿被误读的主因。实际结构并非如此：第一层确立对象，第二层是一套独立的变分理论，用来在这个对象上选取平衡点。范畴工具不是用来推导一个两项代价函数的机器。

这一层所主张的贡献，正是那个概念动作——从关于代理的一句话，走到一个有名字的数学对象。它的价值不在于随后代数的难度；只把代数当作代数来评价的读者，看不到这里提出的究竟是什么。

换来的是：后续问题可以在一个能被证明、而不必被争论的地方提出。一旦边界成为对象，就可以问它有没有坐标、那个坐标有没有平衡点、平衡点是否可观测。

不主张什么。 不主张这个对象就是自主性的那个正确对象。公理是假设；它们对真实代理是否充分，是一个经验问题，且尚未解决。假设猜想

对象确定之后，下一步是给它一个坐标：一个衡量边界区分有多锐的单一标量。那就是第二层。