泛性质

泛性质通过其他对象如何映射到某个数学对象，或如何从该对象映射出去，来刻画这个对象及其指定的映射。它不描述对象的元素或某种具体构造，而是要求每个符合条件的映射问题都有唯一解。在范畴论中，这使相关的带结构对象在唯一的相容同构意义下得到确定。积、自由对象、张量积和范畴极限都是典型例子。(math.mit.edu)

映射问题与泛箭头

一个范畴由对象和态射组成，态射的复合满足结合律，并且每个对象都有恒等态射。允许哪些态射至关重要：它们可以是普通函数、线性映射或连续映射。泛性质要求的存在性和唯一性是在这个指定的范畴内成立，而不是在底层集合之间的任意映射中成立。复合映射之间的等式通常用交换图来表达。(emilyriehl.github.io)

一种一般性的表述使用函子 $G:\mathcal D\to\mathcal C$ 和 $\mathcal C$ 中的对象 $X$。从 $X$ 到 $G$ 的泛箭头是 $\mathcal D$ 中的一个对象 $U$，配备映射

使得对 $\mathcal D$ 中的每个对象 $Y$ 以及每个态射 $f:X\to G(Y)$，都恰有一个态射 $\bar f:U\to Y$ 满足

因此，每个符合条件的映射都能唯一地通过指定映射 $\eta$ 分解。对偶表述将箭头反向，描述从函子到对象的泛箭头。(math.mit.edu)

这一条件也可以用逗号范畴来表达。其对象是二元组 $(Y,f:X\to G(Y))$，其态射与这些给定映射相容。具有泛性质的二元组是一个始对象：从它到每个其他二元组都恰有一个态射。对偶地，从每个其他对象到终对象都恰有一个态射。(emilyriehl.github.io)

唯一性与存在性

如果两个带结构对象满足同一个泛性质，那么泛性会给出两个方向上相容的比较映射。它们的复合满足与恒等映射相同的定义等式。因此，唯一性迫使这些复合为恒等映射，从而证明这两个比较映射是互逆的同构。(emilyriehl.github.io)

“在唯一同构意义下唯一”指的是保持指定泛性质数据的同构。它并不意味着底层对象之间只有一个同构，也不意味着它们严格相等。此外，泛性质本身并不能证明存在性：仍然需要具体构造或存在性定理。不同范畴中可能存在不同的泛构造。(emilyriehl.github.io)

积与余积

对于对象 $A,B$，范畴积是一个对象 $P$，配备投影 $p_A:P\to A$ 和 $p_B:P\to B$。对于每个对象 $X$ 以及映射 $f:X\to A$、$g:X\to B$，必须存在唯一的映射 $h:X\to P$，使得

在以集合为对象、以函数为态射的范畴中，笛卡尔积实现了这一性质：$h(x)=(f(x),g(x))$。不过，范畴论中的定义并不要求对象由有序对组成。(ocw.mit.edu)

将箭头反向便得到余积。它配备映射 $i_A:A\to Q$、$i_B:B\to Q$，并且每一对映射 $f:A\to X$、$g:B\to X$ 都能唯一地延拓为 $h:Q\to X$。对于集合，余积是不交并；即使原来的集合有重叠，也会用标记区分来自两个分量的元素。(ocw.mit.edu)

张量积与自由对象

对于域（数学） $k$ 上的向量空间 $V,W$，张量积配备一个双线性映射

对于每个向量空间 $Z$，每个双线性映射 $b:V\times W\to Z$ 都能唯一地通过一个线性映射 $\widetilde b:V\otimes_k W\to Z$ 分解为

双线性映射是多重线性映射在两个变量时的情形。这一性质使张量积成为将双线性映射问题转化为线性映射问题的工具，而不依赖于所选的基或具体表示。(stacks.math.columbia.edu)

集合 $S$ 上的自由群提供了另一种范例。它配备映射 $i:S\to F(S)$，使得从 $S$ 到任意群 $H$ 的底层集合的每个函数，都能唯一地延拓为群同态 $F(S)\to H$。这里，指定生成元的映射是不可或缺的泛性质数据；这一性质所刻画的是二元组 $(F(S),i)$。(emilyriehl.github.io)

极限、可表性与伴随

范畴极限在映入某个图表的相容锥中具有泛性质。积就是一个例子。余极限是其对偶构造，在从某个图表映入另一对象的相容映射族中具有泛性质；余积就是一个例子。这两个概念都指定了一个对象及其结构映射。(stacks.math.columbia.edu)

泛性质也可以通过可表函子来表述。例如，积的性质给出了双射

且该双射关于 $X$ 是自然的。自然性意味着，当通过复合映射改变测试对象时，这一对应关系仍与之相容。米田引理解释了为什么这样的映射行为能够在同构意义下确定表示对象。(stacks.math.columbia.edu)

伴随将泛映射性质组织为贯穿整个范畴的关系。函子 $F:\mathcal C\to\mathcal D$ 与 $G:\mathcal D\to\mathcal C$ 互为伴随，是指存在双射

且这些双射关于两个变量都是自然的。自由群构造与从群到集合的遗忘函子就是这种关系的例子：指定一个从自由群出发的同态，等价于指定其生成元的像。(stacks.math.columbia.edu)