形式陈述

泛性质通过与所有测试对象之间的唯一映射性质刻画对象。典型地，给定图式 $D$$D$，一个对象 $U$$U$ 连同结构态射若满足：对任意具有同类结构的对象 $X$$X$，存在唯一态射 $X\to U$$X\to U$（终对象型）或 $U\to X$$U\to X$（始对象型）使规定图式交换，则称 $U$$U$ 实现相应泛性质。任何两个实现同一泛性质的对象之间存在唯一保持结构的同构。范畴积 $A\times B$$A\times B$ 由投影 $p_A,p_B$$p_A,p_B$ 刻画：任意 $f:X\to A,g:X\to B$$f:X\to A,g:X\to B$ 唯一诱导 $\langle f,g\rangle:X\to A\times B$$⟨f,g⟩:X\to A\times B$。

直觉

泛性质不描述对象内部由什么材料制造，而描述它在整个映射网络中扮演的唯一角色。因此不同具体模型只要具有同一映射行为，就必然同构。

例子与边界

集合笛卡尔积、自由群、商对象、张量积和局部化都有标准泛性质。唯一性是“唯一到唯一同构”，不是两个具体集合字面相等。只证明存在某个分解而不证明唯一，通常不足以得到泛性质。所谓“初始”与“终结”方向相反：从初始对象到任意对象有唯一态射，从任意对象到终对象有唯一态射。泛性质依赖所处范畴；同一底层集合在不同态射类别中可能不再实现相同性质。

推论与应用

泛性质使构造可无需坐标地定义，自动产生函子性，并为伴随、极限和表示定理提供共同框架。

参考资料

• Saunders Mac Lane, Categories for the Working Mathematician, 2nd ed., Springer, 1998，Ch. III, universal constructions and limits。
• Steve Awodey, Category Theory, 2nd ed., Oxford University Press, 2010，Chs. 5–6, universal mapping properties, products, and limits。