跳至內容

余象

維基百科,自由的百科全書

代數中,同態

fA → B

余象:

coim f = A/ker f

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

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

  1. 存在映射fc : CY滿足f = fcc
  2. 對於任何滿同態z : XZ滿足存在映射fz : ZYf = fzz,存在唯一的映射π : ZC使得c = πzfz = fcπ。

參加

參考文獻

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