cokernel（余核）：在代数与范畴论中，给定一个映射（常见为群同态或线性映射）(f: A \to B)，其余核定义为
[
\mathrm{coker}(f)=B/\mathrm{im}(f)
]
也就是把 (B) 按照 (f) 的像 (\mathrm{im}(f)) 进行商得到的对象。直观上，余核常用来刻画“(f) 离满射还差多少”（衡量不满射的部分）。在更一般的范畴里，它是“余等化子（coequalizer）”的一种特例。
/ˌkoʊˈkɝːnəl/
The cokernel of this map is zero.
这个映射的余核为零。
In an exact sequence, the cokernel of (f) is isomorphic to the image of the next map.
在正合列中，(f) 的余核同构于下一个映射的像。
cokernel 由前缀 **co-**（表示“对偶、反向对应”的概念）+ kernel（核）构成，意思是“与核对偶的对象”。在许多代数结构里，“核”对应刻画不单射的部分，而“余核”对应刻画不满射的部分，这种成对出现的思想来自更一般的“对偶性（duality）”。
Select Language