更新时间：2024-05-21 17:02
等化子是范畴论的一个概念。
令范畴J=有两个对象与两个从第一个对象到第二个对象的非单位态射，即。函子范畴CJ的对象:b→a的等化子为从Δ到的泛态射。
若J的其中一个态射为零态射，则等化子称为核。
给定f,g:b→a为范畴C的态射，则的等化子为态射e:d→b(或对)，满足fh=gh且若对h:c→b有fh=gh，则存在唯一态射h':c→d，使得h=eh'。