滿態射是集合範疇中滿射概念的推廣。它是單態射的對偶概念。範疇C中的態射f:A→B,若有右可消性質,即由態射合成uf=vf可斷定u=v,則稱f為C中的滿態射。若fg為滿態射,則f為滿態射。
基本介紹
- 中文名:滿態射
- 外文名:epmorphisni
- 定義:反映集合的滿映射的代數性質
- 領域:數學
- 學科:範疇論
- 對偶概念:單態射
滿態射是集合範疇中滿射概念的推廣。它是單態射的對偶概念。範疇C中的態射f:A→B,若有右可消性質,即由態射合成uf=vf可斷定u=v,則稱f為C中的滿態射。若fg為滿態射,則f為滿態射。
滿態射是集合範疇中滿射概念的推廣。它是單態射的對偶概念。範疇C中的態射f:A→B,若有右可消性質,即由態射合成uf=vf可斷定u=v,則稱f為C中的滿態射。...
態射上核(cokernel of a morphism)群論中同態的上核概念的推廣(不過,在群論中同態的上核是指一個商群,而在群範疇中是指此商群及群到此商群的滿同態).態...
雙態射(bimorphism)集合範疇中雙射概念的推廣.在範疇中同時為單態射與滿態射的態射稱為雙態射.換言之,雙態射即滿足左可消與右可消的態射.在群範疇與阿貝爾...
態射像(image of a morphism)群論中同態像概念在阿貝爾範疇中的推廣.由阿貝爾範疇的定義可知:加性範疇留為阿貝爾範疇的充分必要條件是對任一態射aEHom(A,B),都...
單態射(monk morphism)是集合範疇Set中單射概念的推廣,它與滿態射是互為對偶的概念。...
商對象(quotient object)是商代數系概念的推廣。它是子對象的對偶概念。設A,B為範疇C的兩個對象。若有滿態射π:A→B,則稱B為A的商對象。...
上的代數曲線 ,存在滿態射 (或稱分歧覆蓋),則 是有理簇。有理簇有一個有用的性質:若 非有限域, 是 -有理簇,則 在 中稠密。 [2] 單...
例外除子(exceptional divisor)被某個態射收縮的除子.設f:X}Y是兩個正規簇之間的正常滿態射,E是X上的一個有效除子,若f(E)在Y中的余維數)2,則稱E是f...
扎里斯基定理(Zariski's theorem)亦稱扎里斯基主要定理.代數幾何的一個重要定理.該定理斷言:若.f : X->Y是不可約簇間的正常滿態射,且有理函式域k(Y)在k(X...
定義纖維化是代數幾何的研究對象中最常見的一類幾何結構。 設f:X→B是兩個光滑代數簇之間的滿態射, 且B的維數嚴格小於X的維數。 設q∈B是任何一點, F是q...
加性範疇(additive category)亦稱加法範疇。是一種常用範疇。範疇是範疇論的基本概念之一。例如,以一切集合作對象,以集合映射作態射,則得集合範疇Set(簡稱集範疇)...
如果更進一步地,所有態射都有核和上核,並且每個滿態射都是上核而每個單態射都是核,那么我們稱之為阿貝爾範疇。阿貝爾範疇的典型例子是阿貝爾群的範疇。2.範疇是...
C中態射 α是單態射(或滿態射或同構),若且唯若Fα是D中單態射(或滿態射或同構)。 函子H:I→C有極限(或余極限)若且唯若函子FH:I→D有極限(或余極...
在加性範疇中有限個對象必有積;加性範疇的對偶範疇仍為加性範疇;加性範疇中態射f為單態射的充分必要條件是kerf=0,f為滿態射的充分必要條件是coker f=0。...
子對象是子代數系概念的推廣。它是商對象的對偶概念。設 A,B 為範疇 𝒞 的兩個對象,若有單態射 i:A→B,則稱 A 為 B 的子對象。例如在環範疇中,環 ...