余象

在代數中，同態

f: A → B

的余象是域和核的 商:

coim f = A/ker f

根據第一同構定理，余象自然同構於像，如果該定理適用。

更一般地，在範疇論，態射的余象是態射的像的對偶表示。如果f : X → Y，則f的余象(如果存在的話)是滿同態 c : X → C使得

1. 存在映射f_c : C → Y滿足f = f_cc，
2. 對於任何滿同態z : X → Z滿足存在映射f_z : Z → Y且f = f_zz，存在唯一的映射π : Z → C使得c = πz且f_z = f_cπ。

參加

• 上核

參考文獻

Mitchell，Barry (1965)，Theory of categories，Pure and applied mathematics，17，Academic Press，ISBN 978-0-124-99250-4，MR0202787