均衡子

在範疇中，一對對映 的均衡子是一個對映 ，使得

1. ，其中 表示複合。

2. 對於任何其他具有相同性質的對映 ，存在唯一對映 使得 ，即，有上面的交換圖。

可以證明均衡子是一個單態射。此外，它在同構意義下是唯一的。

在集合範疇中，均衡子由集合給出

並且由子集 在 中的包含對映 給出。

相同的構造在範疇 加法群、環、模和向量空間中也有效。對於這些，態射 的核可以在更抽象的範疇設定中被視為 和零對映的均衡子 。

對偶概念是上均衡子。