均衡子

在范畴中，一对映射 的均衡子是一个映射 ，使得

1. ，其中 表示复合。

2. 对于任何其他具有相同性质的映射 ，存在唯一映射 使得 ，即，有上面的交换图。

可以证明均衡子是一个单态射。此外，它在同构意义下是唯一的。

在集合范畴中，均衡子由集合给出

并且由子集 在 中的包含映射 给出。

相同的构造在范畴 加法群、环、模和向量空间中也有效。对于这些，态射 的核可以在更抽象的范畴设置中被视为 和零映射的均衡子 。

对偶概念是上均衡子。