餘等化子

在範疇中，一對對映 的餘等化子是一個對映 使得

1. ，其中 表示複合。

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

可以證明餘等化子是一個滿射，並且，更進一步，它在同構意義下是唯一的。

在集合範疇中，餘等化子由商集給出

以及由典範對映 給出，其中 是 Y 上的最小等價關係，它將所有 和 對於所有 都等同起來。

同樣的構造在加法群、模和向量空間的範疇中也是有效的。在這些情況下，態射 的上核可以被視為（在一個更抽象的範疇設定中） 和零對映的餘等化子 。

餘等化子的對偶概念是等化子。