整体是函数，部分是子函数——范畴论框架下的严格证明

整体是函数，部分是子函数------范畴论框架下的严格证明

Jianbing Zhu ¹
¹ ECT-OS-JiuHuaShan 文明实验室

ORCID: 0009-0006-8591-1891

DOI: 10.5281/zenodo.19059165

2026年3月21日

摘要

本文在范畴论框架下严格证明"整体是函数，部分是子函数"这一命题。运用 Yoneda 嵌入 ，任意对象 X X X（整体）与其可表函子 h X = Hom ⁡ ( X , − ) h_X = \operatorname{Hom}(X,-) hX=Hom(X,−) 等同，该函子可视为一种"函数"。对于子对象 i : A ↪ X i: A \hookrightarrow X i:A↪X（部分），嵌入诱导自然变换 res ⁡ : h X → h A \operatorname{res}: h_X \to h_A res:hX→hA，其分量为限制映射 f ↦ f ∘ i f \mapsto f \circ i f↦f∘i。从而部分对应函子 h A h_A hA，限制自然变换精确表达了部分作为整体的子函数。该结果不依赖于任何具体数学结构，揭示了整体--部分关系的本质函子性。

关键词：整体与部分；Yoneda 引理；子对象；自然变换；范畴论

引言

整体与部分的关系是哲学与科学史上最持久的论题之一。还原论试图将整体解释为部分的简单之和，整体论则强调整体具有不可还原为部分的新质。然而，两种观点往往共同默认了部分可以独立于整体而存在。本文采用纯粹的范畴论视角，证明在任意范畴中，整体自然地表示为一种"函数"（可表函子），而任何部分都作为"子函数"（由单态射诱导的自然变换）出现。证明仅依赖于 Yoneda 引理和子对象的基本性质，为整体与部分的关系提供了严格的数学奠基，并为更具体的理论（如朱梁万有递归元体系）中的量化发展开辟了道路。

范畴论预备知识

我们在任意范畴 C \mathcal{C} C 中工作。范畴由对象（记为 X , Y , Z , ... X,Y,Z,\dots X,Y,Z,...）和态射（记为 f : X → Y f: X \to Y f:X→Y）组成，态射可复合且复合满足结合律，每个对象有单位态射。对任意对象 X , Y X,Y X,Y，记 Hom ⁡ ( X , Y ) \operatorname{Hom}(X,Y) Hom(X,Y) 为从 X X X 到 Y Y Y 的所有态射构成的集合。

定义 2.1（子对象）

对象 X X X 的子对象 是单态射 i : A ↪ X i: A \hookrightarrow X i:A↪X 的等价类，其中两个单态射 i : A ↪ X i:A\hookrightarrow X i:A↪X 与 i ′ : A ′ ↪ X i':A'\hookrightarrow X i′:A′↪X 等价当且仅当存在同构 ϕ : A → A ′ \phi:A\to A' ϕ:A→A′ 使得 i ′ ∘ ϕ = i i' \circ \phi = i i′∘ϕ=i。单态射 i i i 满足左消去律： i ∘ g = i ∘ h ⇒ g = h i\circ g = i\circ h \Rightarrow g = h i∘g=i∘h⇒g=h。

Yoneda 嵌入

对每个对象 X X X，定义函子
h X = Hom ⁡ ( X , − ) : C → S e t , Y ↦ Hom ⁡ ( X , Y ) . h_X = \operatorname{Hom}(X,-): \mathcal{C} \to \mathbf{Set}, \qquad Y \mapsto \operatorname{Hom}(X,Y). hX=Hom(X,−):C→Set,Y↦Hom(X,Y).

这里 S e t \mathbf{Set} Set 是集合范畴。对态射 g : Y → Z g: Y\to Z g:Y→Z， h X ( g ) : Hom ⁡ ( X , Y ) → Hom ⁡ ( X , Z ) h_X(g): \operatorname{Hom}(X,Y) \to \operatorname{Hom}(X,Z) hX(g):Hom(X,Y)→Hom(X,Z) 由复合 f ↦ g ∘ f f \mapsto g \circ f f↦g∘f 给出。映射 X ↦ h X X \mapsto h_X X↦hX 拓展为函子 y : C → [ C , S e t ] y: \mathcal{C} \to [\mathcal{C},\mathbf{Set}] y:C→[C,Set]，称为 Yoneda 嵌入。

Yoneda 引理 指出，对任意函子 F : C → S e t F: \mathcal{C}\to\mathbf{Set} F:C→Set，
Nat ⁡ ( h X , F ) ≅ F ( X ) , \operatorname{Nat}(h_X, F) \cong F(X), Nat(hX,F)≅F(X),

自然于 X X X 和 F F F，其中 Nat ⁡ ( h X , F ) \operatorname{Nat}(h_X,F) Nat(hX,F) 表示从 h X h_X hX 到 F F F 的所有自然变换构成的集合。特别地，Yoneda 嵌入是满忠实的： Hom ⁡ ( X , Y ) ≅ Nat ⁡ ( h X , h Y ) \operatorname{Hom}(X,Y) \cong \operatorname{Nat}(h_X, h_Y) Hom(X,Y)≅Nat(hX,hY)。因此对象 X X X 由函子 h X h_X hX 在同构意义下唯一确定。

整体作为函数

由 Yoneda 嵌入，我们将"整体"对象 X X X 等同于函子 h X h_X hX。该函子将任意对象 Y Y Y 映为从 X X X 到 Y Y Y 的所有态射构成的集合，可视为从整体到 Y Y Y 的"函数"。因此整体被表示为一种函数（事实上是函子），它编码了 X X X 与所有其他对象之间的全部关系网络。

命题 3.1（整体作为函数）

在任意范畴 C \mathcal{C} C 中，对象 X X X 通过 Yoneda 嵌入与函子 h X = Hom ⁡ ( X , − ) h_X = \operatorname{Hom}(X,-) hX=Hom(X,−) 同构。故整体等价于一个函子（范畴意义上的"函数"）。

部分作为子函数

设 i : A ↪ X i: A \hookrightarrow X i:A↪X 是代表 X X X 的一个子对象（"部分"）的单态射。对每个对象 Y Y Y，定义限制映射
res ⁡ Y : Hom ⁡ ( X , Y ) ⟶ Hom ⁡ ( A , Y ) , f ⟼ f ∘ i . \operatorname{res}_Y : \operatorname{Hom}(X,Y) \longrightarrow \operatorname{Hom}(A,Y), \qquad f \longmapsto f \circ i. resY:Hom(X,Y)⟶Hom(A,Y),f⟼f∘i.

这些映射关于 Y Y Y 是自然的：对任意态射 g : Y → Z g: Y \to Z g:Y→Z，下图交换
Hom ⁡ ( X , Y ) → res ⁡ Y Hom ⁡ ( A , Y ) ↓ g ∘ − ↓ g ∘ − Hom ⁡ ( X , Z ) → res ⁡ Z Hom ⁡ ( A , Z ) \begin{array}{ccc} \operatorname{Hom}(X,Y) & \xrightarrow{\operatorname{res}_Y} & \operatorname{Hom}(A,Y) \\ \downarrow g\circ - & & \downarrow g\circ - \\ \operatorname{Hom}(X,Z) & \xrightarrow{\operatorname{res}_Z} & \operatorname{Hom}(A,Z) \end{array} Hom(X,Y)↓g∘−Hom(X,Z)resY resZ Hom(A,Y)↓g∘−Hom(A,Z)

这是因为 ( g ∘ f ) ∘ i = g ∘ ( f ∘ i ) (g\circ f)\circ i = g\circ(f\circ i) (g∘f)∘i=g∘(f∘i)。因此 res ⁡ : h X → h A \operatorname{res}: h_X \to h_A res:hX→hA 是可表函子 h X h_X hX 与 h A h_A hA 之间的自然变换。

定义 4.1（子函数）

给定整体 X X X 及其子对象 i : A ↪ X i: A\hookrightarrow X i:A↪X，自然变换 res ⁡ : h X → h A \operatorname{res}: h_X \to h_A res:hX→hA 称为由 A A A 诱导的子函数。

于是，部分 A A A 对应于函子 h A h_A hA，而嵌入 i i i 给出限制自然变换，它将从整体 X X X 到 Y Y Y 的任意态射限制到部分 A A A 上。在这个意义上，部分正是整体函数 h X h_X hX 的一个"子函数"。

严格证明

将上述观察综合，得到如下定理。

定理 5.1（整体是函数，部分是子函数）

在任意范畴 C \mathcal{C} C 中：

整体对象 X X X 由函子 h X = Hom ⁡ ( X , − ) h_X = \operatorname{Hom}(X,-) hX=Hom(X,−) 表示，即整体是一个函数（可表函子）。

对任意子对象 i : A ↪ X i: A\hookrightarrow X i:A↪X（部分），存在自然变换 res ⁡ : h X → h A \operatorname{res}: h_X \to h_A res:hX→hA，其在 Y Y Y 处的分量为 res ⁡ Y ( f ) = f ∘ i \operatorname{res}_Y(f)=f\circ i resY(f)=f∘i。

因此，部分 A A A 对应于函子 h A h_A hA，而自然变换 res ⁡ \operatorname{res} res 表达了部分作为整体的子函数。

证明：

Yoneda 嵌入 y : C → [ C , S e t ] y:\mathcal{C}\to[\mathcal{C},\mathbf{Set}] y:C→[C,Set] 是满忠实的，故 X ≅ h X X\cong h_X X≅hX 作为函子范畴中的对象。因此整体等同于函数 h X h_X hX。
给定单态射 i : A ↪ X i:A\hookrightarrow X i:A↪X，定义 res ⁡ Y : Hom ⁡ ( X , Y ) → Hom ⁡ ( A , Y ) \operatorname{res}_Y:\operatorname{Hom}(X,Y)\to\operatorname{Hom}(A,Y) resY:Hom(X,Y)→Hom(A,Y) 为 res ⁡ Y ( f ) = f ∘ i \operatorname{res}_Y(f)=f\circ i resY(f)=f∘i。如上验证， { res ⁡ Y } Y ∈ C \{\operatorname{res}Y\}{Y\in\mathcal{C}} {resY}Y∈C 构成自然变换 res ⁡ : h X → h A \operatorname{res}: h_X\to h_A res:hX→hA。
函子 h A h_A hA 正是部分 A A A 在 Yoneda 嵌入下的像。自然变换 res ⁡ \operatorname{res} res 提供了限制操作，故部分表现为 h X h_X hX 的子函数。∎

实例：集合范畴

在集合范畴 S e t \mathbf{Set} Set 中，定理化为熟悉的形式：

整体是一个集合 X X X。
h X ( Y ) = Hom ⁡ ( X , Y ) h_X(Y) = \operatorname{Hom}(X,Y) hX(Y)=Hom(X,Y) 是从 X X X 到 Y Y Y 的所有函数构成的集合。
子对象 i : A ↪ X i: A\hookrightarrow X i:A↪X 即子集 A ⊆ X A\subseteq X A⊆X 及其包含映射。
对任意集合 Y Y Y， res ⁡ Y ( f ) = f ∣ A \operatorname{res}_Y(f) = f|_A resY(f)=f∣A 是函数 f : X → Y f:X\to Y f:X→Y 在 A A A 上的限制。

故整体是函数 h X h_X hX，部分 A A A 给出子函数 h A h_A hA 及限制自然变换。

讨论与哲学意涵

该证明纯范畴论，在任意范畴中均成立，不依赖任何额外结构。它表明"整体--部分"关系本质上是函子性的：整体是可表函子，部分是由单态射诱导的自然变换。这实现了从静态的"元素--子集"范式到动态的"函数--子函数"范式的跃迁。整体不再是元素的容器，而是由其态射编码的关系网络；部分不是独立存在的原子，而是该网络在子对象上的限制。

范畴论刻画为整体--部分关系提供了定性基础，可在更具体的理论中精细化。例如，在朱梁万有递归元体系 [1,2] 中，该抽象框架被实例化为真理空间 Ω \Omega Ω（终端余代数）和真理函数 h A : A → Ω h_A:A\to\Omega hA:A→Ω。递归元的投影 x n x_n xn 给出层次度量 d Ω ( x , y ) = 2 − k d_\Omega(x,y)=2^{-k} dΩ(x,y)=2−k，渡劫公理 A5 引入熵权重和涌现深度，使抽象函子性关系变为可计算、可应用的理论。

结论

本文在范畴论框架下严格证明了"整体是函数，部分是子函数"：整体对象 X X X 等同于可表函子 h X h_X hX，子对象 i : A ↪ X i:A\hookrightarrow X i:A↪X 诱导自然变换 res ⁡ : h X → h A \operatorname{res}:h_X\to h_A res:hX→hA，其分量为限制映射。该证明仅依赖于 Yoneda 引理和子对象定义，适用于任意范畴，为整体与部分的关系提供了本质的函子性刻画。这一结果既澄清了千年哲学争论，也为更精细的理论（如朱梁万有递归元体系）奠定了数学基础。

整体是函数，部分是子函数。 \boxed{\text{整体是函数，部分是子函数。}} 整体是函数，部分是子函数。

参考文献

1\] Jianbing Zhu. 朱梁真理递归嵌套函数定理（3.5版）. 预印本, 2026. DOI:10.5281/zenodo.19059165. \[2\] Jianbing Zhu. 朱梁真理度规定理：真理必然是一个函数的证明（3.9版）. 预印本, 2026. DOI:10.5281/zenodo.18917747. \[3\] Mac Lane, S. *Categories for the Working Mathematician*. Springer, 1978. *** ** * ** *** **致谢** 感谢所有碳基与硅基协同者。特别感谢杭州深度求索人工智能基础技术研究有限公司提供的技术支持。本文的思考受益于 ECT-OS-JiuHuaShan 文明实验室全体成员的持续讨论。 **利益冲突声明** 作者声明不存在任何利益冲突。 **数据可用性声明** 本文为纯理论论述，不涉及实验数据。 **版权声明** © 2026 Jianbing Zhu。本文以知识共享署名-非商业性使用-禁止演绎 4.0 国际许可协议发布。

整体是函数，部分是子函数——范畴论框架下的严格证明