更新时间：2024-05-21 13:02
余核是范畴论的一个概念。
在很多范畴中，余核相当于商对象。
设范畴C有零对象。则C的态射f:a→b的余核为态射u:b→e，满足
(i) uf=0:a→e；
(ii) 若h:b→c满足hf=0，则存在唯一态射h':e→c满足h=h'u。
设范畴C有零对象。则C的态射f:a→b的余核为态射f,0:a⇒b的余等化子。
对于无零对象的范畴C，不能定义余核，故需要推广为余等化子。
对于阿贝尔群范畴Ab，f:A→B的余核为投射B→B/fA。