第零讲：范畴论与函子

范畴论（Category Theory）是 EICPS 数学体系的隐性基础语言。它不直接给出任何计算公式，而是提供一套精确描述”不同数学结构之间如何保持结构地互相映射”的语法。理解这套语法，有助于理解为什么异质状态域（物理/任务/信息/规范）之间必须引入显式接口，而不能合并在同一空间中处理。按 V0.2 口径：范畴论在 EICPS 中仅作为接口组合的描述语言，不自动给出安全保持的证明（见修订说明第 3 条）。

1 历史起源

范畴论由塞缪尔·艾伦伯格（Samuel Eilenberg）和桑德斯·麦克莱恩（Saunders Mac Lane）在 1945 年的论文《General Theory of Natural Equivalences》中提出。这篇论文的直接动机来自代数拓扑中的一个观察：当拓扑空间之间存在连续映射 $f: X \to Y$ 时，该映射会”诱导”出两个空间各自同调群之间的群同态 $f_*: H_n(X) \to H_n(Y)$，且这种诱导对映射的复合也成立：$(g \circ f)_* = g_* \circ f_*$。

艾伦伯格和麦克莱恩意识到，这种”一类数学结构的映射诱导另一类结构的映射，并保持复合关系”的模式，并不是代数拓扑的特殊现象，而是贯穿数学各分支的普遍结构。他们将其抽象为范畴和函子的概念。

范畴论被戏称为”范畴数学家的数学”（mathematics of mathematicians）——它研究的不是数、函数、群这类具体数学对象，而是数学结构本身的共同语法。这种元层次的视角，使它能够在代数学、拓扑学、逻辑学、计算机科学之间建立统一的语言。

2 范畴的定义

范畴 $\mathcal{C}$ 由以下数据构成：

• 一个对象类（objects），记作 $\mathrm{ob}(\mathcal{C})$，元素记为 $X, Y, Z, \ldots$
• 对每对对象 $(X, Y)$，一个态射集合（morphisms / arrows）$\mathrm{Hom}(X, Y)$，元素记为 $f: X \to Y$
• 对每对相邻态射 $f: X \to Y$ 和 $g: Y \to Z$，一个复合态射 $g \circ f: X \to Z$
• 对每个对象 $X$，一个恒等态射 $\mathrm{id}_X: X \to X$

并满足两条公理：

范畴的核心在于态射（而非对象）。对象是什么并不重要，重要的是对象之间存在哪些态射，以及这些态射如何复合。

典型范畴举例

EICPS 的三个流形分别属于不同的范畴：$\mathcal{M}_{phy}$ 属于 $\mathbf{Man}$（带黎曼度量的子范畴），$\mathcal{M}_{sem}$ 属于带图结构的嵌入空间范畴，$\mathcal{M}_{lat}$ 属于概率测度空间的范畴。它们不是同一个范畴的对象，因此不能直接相减或做线性插值。

3 函子的定义

函子（Functor）$F: \mathcal{C} \to \mathcal{D}$ 是两个范畴之间的结构保持映射，由两部分构成：

• 对象函数：对每个 $X \in \mathrm{ob}(\mathcal{C})$，指定 $F(X) \in \mathrm{ob}(\mathcal{D})$
• 态射函数：对每个 $f: X \to Y$，指定 $F(f): F(X) \to F(Y)$

并满足两条保结构公理：

这两条公理是函子与任意映射的本质区别。一个将对象从 $\mathcal{C}$ 映射到 $\mathcal{D}$ 但不保持复合律的映射，不是函子。

直接含义：若 $\mathcal{C}$ 中两条态射可以复合，则函子保证它们在 $\mathcal{D}$ 中的像也可以以同样的方式复合。推理链在函子传输过程中不会断裂。

4 EICPS 中的函子实例

4.1 持续同调函子 $H_k$

持续同调（Persistent Homology）是 EICPS 结构谱 $\Sigma_T$ 的拓扑基础，其构造本身就是一个函子：

给定度量空间 $X$ 上参数为 $\varepsilon$ 的 Vietoris-Rips 复形序列（过滤）：

$H_k$ 将这个过滤（$\mathbf{Filt}(X)$ 中的对象）映射为一族向量空间和线性映射（$\mathbf{PersVect}$ 中的对象）：

包含映射（态射）被映射为同调间的线性映射，且保持复合律。$H_k$ 函子的不变量——条形码（barcode）——编码了拓扑特征（连通分量 $\beta_0$、环路 $\beta_1$）的出现尺度与消亡尺度。

EICPS 在 Sim2Real Gap 监控（§3.3.3）中使用的 $\beta_0$、$\beta_1$，是读取这个函子的不变量：当 $\beta_k^{sim} \neq \beta_k^{real}$ 时，两个具身空间的拓扑类型不同，迁移必然失败。

4.2 切丛函子 $T$

微分几何中有一个标准函子：

它将每个光滑流形 $M$ 映射到其切丛 $TM$（所有切空间 $T_pM$ 的并集），将每个光滑映射 $f: M \to N$ 映射到其微分 $df: TM \to TN$。验证函子性：

EICPS 中 SE(3) 的李代数结构 $\mathfrak{g} \cong T_e G$（李群在单位元处的切空间）正是切丛函子在李群上的体现。指数映射 $\exp: \mathfrak{g} \to G$ 将切空间中的无穷小生成元映射为群元素，这是切丛函子在李群范畴中的具体实现（第六讲详述）。

4.3 接口 $\Phi$ 的函子性

EICPS 架构定义 $\Phi$ 为”意图空间到执行空间的保结构投影”：

$\Phi$ 是函子需要满足：不仅将语义规划 $\gamma_{sem}$ 映射为物理动作 $\gamma_{phy}$，还将规划之间的修改关系（态射）映射为动作之间的对应变换，且保持这些变换的复合顺序。

物理幻觉在这个框架下有精确的函子语言描述：$\Phi(\gamma_{sem}) \notin \mathcal{M}_{phy}$ 意味着 $\Phi$ 的像落在目标范畴 $\mathcal{C}_{phy}$ 中不存在合法对象的位置——函子试图映射到一个”不存在的对象”，这在范畴论中是一个矛盾。物理幻觉因此不是概率意义上的低概率事件，而是结构性的范畴违例。

EICPS 的 CBF（控制屏障函数）在执行层的工程作用，是对 $\Phi$ 的函子性进行实时修复：当映射结果将越出 $\mathcal{M}_{phy}$ 的合法边界时，CBF-QP 以最小范数修正将其拉回。

5 自然变换（Natural Transformation）

函子之间还存在一层结构：自然变换。给定两个函子 $F, G: \mathcal{C} \to \mathcal{D}$，自然变换 $\eta: F \Rightarrow G$ 是对每个对象 $X \in \mathcal{C}$ 指定一个态射 $\eta_X: F(X) \to G(X)$，并满足对所有 $f: X \to Y$：

即下图交换：

自然变换在 EICPS 中对应的工程概念是域适应（Domain Adaptation）：从仿真训练的模型函子 $F_{sim}$ 到真实部署的模型函子 $F_{real}$，若存在自然变换 $\eta: F_{sim} \Rightarrow F_{real}$，则意味着两个模型在结构层面上可以一致地互相转换——不只是个别样本对齐，而是整个”处理规则”的结构一致性。Shape-DNA 距离最小化是这个自然变换存在性的充分近似条件。

6 为什么 EICPS 需要函子层次的数学

异质状态组织（V0.1 曾记作三流形乘积 $\mathcal{E} = \mathcal{M}_{phy} \times \mathcal{M}_{sem} \times \mathcal{M}_{lat}$，该记法已废止）的核心设计原则，是明确保持各状态域自身的结构，而非将其压缩进同一个欧氏向量空间。

若强行合并（如端到端 VLA 的做法），三个范畴的对象和态射都被表示为 $\mathbb{R}^n$ 中的点和线性映射，则：

• $\mathcal{M}_{phy}$ 的黎曼度量（由质量矩阵 $M(q)$ 定义）被欧氏内积近似，曲率信息丢失
• $\mathcal{M}_{sem}$ 的图结构（概念之间的离散关系）被连续插值近似，拓扑结构丢失
• $\mathcal{M}_{lat}$ 的统计分布支撑集被全局均值近似，局部密度结构丢失

在这种合并下，$\Phi$ 退化为一个普通的 $\mathbb{R}^n \to \mathbb{R}^m$ 线性映射，不再具有函子性——它不保持任何一个范畴的结构，因此也无法对物理可行性给出任何结构性保证。

EICPS 选择保留各状态域的独立结构，代价是需要显式定义接口 A（$\mathcal{C}_{sem} \to \mathcal{C}_{phy}$）和接口 B（$\mathcal{C}_{phy} \to \mathcal{C}_{body}$）作为结构保持映射（函子语言，描述用途），以及 STL 验证和 CBF 修正作为对结构保持性的在线监控与修复机制。注意：函子性本身不构成安全证明——安全性质由假设集下的验证与运行时保证承担（见保证与边界）。这是 EICPS 区别于纯数据驱动系统的结构性选择。

参考文献