引子

1939年，一群年轻数学家聚集在法国。他们决定重新组织整个数学——不是按照惯例，不是按照历史顺序，而是按照结构。他们给自己取了一个集体笔名：布尔巴基。他们在随后几十年中出版了一部又一部《数学原本》，试图将数学的统一性建立在三种母结构之上——序结构、代数结构和拓扑结构。每一种结构定义了一类对象，对象被结构所描述，结构决定了对象的性质。

三十年后，另一个法国人出现了。格罗滕迪克所做的不是改进布尔巴基的方案——他翻转了它。布尔巴基说：对象具有结构，结构决定性质。格罗滕迪克说：不要从对象出发，从箭头出发。不要问“这是一个什么结构”，问“它与其他对象之间有什么关系”。对象不是被结构定义的——它是被它与其他对象的关系定义的。

这不是一个技术上的修正，而是一个哲学上的转向。布尔巴基的数学是关于对象的数学——对象是实体，结构是它们的属性。格罗滕迪克的数学是关于关系的数学——对象只是关系网络中的节点，节点的身份由它与其他节点的连接方式决定。

这一转向在范畴论中找到了它的最终表达。范畴论的基本单元不是对象——是箭头。对象只是箭头的起点和终点。一个对象的全部信息，包含在它与其他对象之间的箭头关系中。如果两个对象在所有可能的箭头关系中占据相同的位置，它们在范畴论的意义上是不可区分的。

构造学论要追问的是：从布尔巴基的“结构”到格罗滕迪克的“关系”，数学做了一次什么样的存在论转移？如果“存在即关系”——如果对象的身份由它所在的连接网络决定——那么数学的对象还存在吗？还是说，只有连接网络本身在持续运行？

一、布尔巴基的结构：对象优先于关系

布尔巴基的方案是结构主义的——在现代数学的几乎每一个分支中都能看到它的影响，包括拓扑学、微分几何、代数拓扑和泛函分析等。其核心命题是：数学对象的结构确定了它的全部性质。如果你知道一个集合上定义了什么运算、什么序关系、什么拓扑，你就知道了关于这个集合的数学上一切可以知道的东西。

在这个框架中，关系从属于对象。关系是对象之间的连接，但对象先于关系存在。你可以在定义一个关系之前定义对象，而对象不需要参照任何关系就可以被识别。一个群是一个集合带上二元运算——你可以先定义集合，然后定义运算。关系（运算）附着于对象（集合）。

这个框架的力量在于它提供了统一性。布尔巴基在拓扑学、代数、序结构中识别出了同一种构造方式——公理化的结构定义。任何满足群公理的对象，不论它的元素是什么，都是群的一个实例。结构可以跨越不同的具体对象被识别和比较。

但布尔巴基的框架有一个构造局限。在对象与关系之间，它把权重放在了对象一侧。关系是重要的，但关系的作用被限制为描述和连接已有的对象。它的分析框架对“关系如何构成对象”这一过程并不覆盖。

二、格罗滕迪克的关系：箭头决定对象

格罗滕迪克翻转了这个权重。在他的框架中，对象的身份不是由它自身的内在结构决定的——是由它与系统中所有其他对象的连接关系决定的。如果你知道一个对象与系统中其他对象之间的全部箭头，你就知道了它的一切。如果你只知道它本身，而不知道它与任何其他对象之间的连接，你就什么都没有。

这个翻转的深层含义是，对象不是独立存在的实体——它们是关系网络中的节点。节点无法脱离网络被定义。换一种说法，一个对象的“存在”，不是它在网络中被给予，而是它在网络中被连接。

格罗滕迪克把这个框架命名为拓扑斯理论。在一个拓扑斯中，对象不是先于关系的实体，而是通过关系被指定的位置。你在一个拓扑斯中定义的对象，其“身份”不是由它的内部构成决定的——是由它与所有其他对象之间的箭头决定的。

拓扑斯理论不是格罗滕迪克的全部贡献。他还提出了概型理论，将代数几何从多项式方程的研究转化为范畴与交换代数之间的连接研究；他发展了导出范畴的概念，为同调代数提供了新的基础框架；他还引入了衍生范畴的构想，试图将同调方法统一到一个更一般的框架中。这些工作的共同结构是，它们都将“对象是什么”的问题，从对象的内部构成转移到了对象在系统中的位置。

三、关系之后：从网络到网络的网络

布尔巴基的“结构”和格罗滕迪克的“关系”之间的差异，不是关于“哪个更正确”的差异，而是关于“从哪个位置开始构造”的差异。但构造学论的追问更进一步，如果一个对象的身份由它与其他对象的关系决定，那么这个身份本身是固定的吗？如果对象的位置在运行中会发生变化，那么关系网络本身是否会重新分配它的节点位置？

在高阶范畴论中，这个问题被显式地处理了。1-范畴论处理的是对象之间的箭头。2-范畴论处理的是箭头之间的箭头——即两个平行箭头之间的转换。n-范畴论处理的是箭头之间的箭头之间的箭头……当n趋于无穷时，系统中不再有“对象”与“箭头”的区别——只有箭头，在任何维度上持续运行。

同伦类型论做了另一条路径上的探索。它将数学对象理解为类型，将等价关系理解为路径。在高阶同伦类型论中，两个类型之间的等价不是“它们具有相同的结构”——而是“它们之间可以建立可逆的路径”。对象的身份不再由定义决定——它由可建立路径的存在决定。

这些新的前沿——高阶范畴论、同伦类型论、量子拓扑——共享同一个底层信念：存在即关系。 但它们的“关系”不是格罗滕迪克意义上的关系——不是静态的箭头网络。它们的关系是动态的——关系本身可以变化，可以升级，可以被更高阶的关系覆盖。网络在不断生成新的维度。

四、构造学论的立场：存在是在运行中被追踪的持续路径

如果从布尔巴基的“结构”到格罗滕迪克的“关系”再到高阶范畴论的“过程”，数学的对象从“被结构定义的实体”变成了“被关系指定的节点”再到“在运行中被持续追踪的路径”，那么数学的存在论基底也在相应移动。

“结构”指向一种静态的稳定状态——对象保持其身份，因为结构是稳定的。“关系”指向一种动态的稳定状态——对象的身份由它在关系网络中的位置决定，但网络本身被假设为可识别和可追踪。“过程”指向一种更彻底的动态状态——网络本身在持续生成，节点的身份在运行中重新分配，连“网络”的边界也在持续重组。

在这个框架中，“存在”不是在某个位置上的固定身份，而是一个在持续运行中被追踪的连接路径。一个数学对象“存在”，意味着在一个可运行的系统中存在一条稳定的追踪路径，可以从一个位置到达另一个位置，而不会在过程中丢失连接。它不是通过被给予某组属性而存在的——它是通过在系统中被持续追踪而被确认存在的。

结语：从对象到运行

布尔巴基的结构主义将数学视为对象的集合。格罗滕迪克的关系主义将数学视为网络的连接。高阶范畴论将数学视为持续生成的路径。

这三者不是彼此取代的，而是逐层覆盖的——每一层都在前一层的结构中识别出它未能覆盖的区域。布尔巴基的“对象”在格罗滕迪克的框架中被解释为节点。格罗滕迪克的“节点”在范畴论的框架中被解释为箭头的起点和终点。范畴论的“箭头”在高阶范畴论中被解释为低阶箭头之间可产生的路径。

数学从实体走向模式、从模式走向过程的历史，不是一个“发现数学是什么”的过程——它是一个“扩展可运行连接的范围”的过程。每一次扩展都在增加系统中可被追踪的路径数量。布尔巴基的系统可以追踪一条路径。格罗滕迪克的系统可以追踪路径网络。高阶范畴论的系统可以追踪路径网络如何在更高维度上被重新连接。

存在即关系——但关系不是静态的。关系本身在持续生成新的连接，而每个新的连接都可能在系统中产生新的结构或投影。每一条被追踪的路径，都可能成为下一次追踪的起始位置。

支持单位：