餘象

在代數中 ， 同態 f: A → B 的餘象是域和核的 商: coim f = A / ker f 根據第一同構定理 ， 餘象自然同構於像 ， 如果該定理適用 。 更一般地 ， 在範疇論 ， 態射的餘象是態射的像的對偶表示 。 如果f: X → Y ， 則f的餘象 是滿同態 c: X → C使得 存在映射fc: C → Y滿足f = fcc ， 對於任何滿同態z: X → Z滿足存在映射fz: Z → Y且f = fzz ， 存在唯一的映射π: Z → C使得c = πz且fz = fcπ 。