概念

泛性质

始对象/终对象/积/余积由「唯一的映射」刻画，泛性质用「与谁对话」来定义对象，是范畴论的核心思维方式。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

泛性质范畴论

01定义

泛性质用「与外界对话的唯一方式」定义对象：始对象有到任何对象的唯一态射，终对象被任何对象唯一地射入。积、余积、张量积、自由群……无数构造都是同一个泛性质的特例。

始对象：对每个对象存在唯一态射——以「唯一性」定义自身

$\mathbf{Set}$ 中始对象是空集、终对象是单点集； $\mathbf{Grp}$ 中平凡群两者兼任；泛性质确定的对象在同构意义下唯一。

积 $A\times B$ 被「到 $A$ 与 $B$ 的投影 + 唯一分解」刻画；余积反过来（集合的无交并、群的自由积）——一切具体构造都是同一模板的实例。

自由群、自由模、多项式环都由泛性质定义：「任何赋值唯一扩张为同态」——「自由」从此有了不含坐标的严格定义。

\operatorname{Hom}(\varnothing,X)\cong\{\ast\},\quad\operatorname{Hom}(X,1)\cong\{\ast\}

\operatorname{Hom}(Z,A\times B)\cong\operatorname{Hom}(Z,A)\times\operatorname{Hom}(Z,B)

泛性质的思维方式隐含在 19 世纪的自由构造中；艾伦伯格-麦克莱恩将其形式化；格罗滕迪克学派以泛性质为默认定义方式，「构造不重要，性质才重要」成为现代数学的信条。

函数式编程中 Monad 的泛性质保证组合性；数据库理论的极限构造实现模式整合；类型论的积类型/和类型直接对应范畴的积/余积。

积的泛性质：唯一的中介箭头换 stage：任意一对 f、g 都唯一地「穿过」积 A×B

展示阶段0