基本介紹
- 中文名:單態射
- 外文名:monk morphism
- 學科:數學
單態射(monk morphism)是集合範疇Set中單射概念的推廣,它與滿態射是互為對偶的概念。...
滿態射是集合範疇中滿射概念的推廣。它是單態射的對偶概念。範疇C中的態射f:A→B,若有右可消性質,即由態射合成uf=vf可斷定u=v,則稱f為C中的滿態射。...
雙態射(bimorphism)集合範疇中雙射概念的推廣.在範疇中同時為單態射與滿態射的態射稱為雙態射.換言之,雙態射即滿足左可消與右可消的態射.在群範疇與阿貝爾...
22單態射、外態射與雙態射2323初始對象、終止對象與零對象2624常態射、余常態射與零態射29第3章範疇中的極限3331等子和余等子3332積和余積39...
舉例來講,在範疇論中,藉助於對偶變換(對偶化),由始對象便可得終對象、由單態射得滿態射、由核得上核、由積得上積;在同調代數中,由正向極限得反向極限、由...
單純集合的一個映射定義為上纖維化如果它是單純集合的一個單態射。丹尼爾·奎倫的一個艱深的定理說具有這三類態射的單純集合範疇滿足真閉單純模型範疇的公理。 [...
C中態射 α是單態射(或滿態射或同構),若且唯若Fα是D中單態射(或滿態射或同構)。 函子H:I→C有極限(或余極限)若且唯若函子FH:I→D有極限(或余極...
如果更進一步地,所有態射都有核和上核,並且每個滿態射都是上核而每個單態射都是核,那么我們稱之為阿貝爾範疇。阿貝爾範疇的典型例子是阿貝爾群的範疇。2.範疇是...
加性範疇(additive category)亦稱加法範疇。是一種常用範疇。範疇是範疇論的基本概念之一。例如,以一切集合作對象,以集合映射作態射,則得集合範疇Set(簡稱集範疇)...
子對象是子代數系概念的推廣。它是商對象的對偶概念。設 A,B 為範疇 𝒞 的兩個對象,若有單態射 i:A→B,則稱 A 為 B 的子對象。例如在環範疇中,環 ...
Gorenstein投射模範疇與單態射範疇[D].上海交通大學,2012. 2. 周異輝. 對合Quantale與Quantale模範疇[D].陝西師範大學,2006. 3. 魏麗娟. 範疇 _*的泛性質[...
在加性範疇中有限個對象必有積;加性範疇的對偶範疇仍為加性範疇;加性範疇中態射f為單態射的充分必要條件是kerf=0,f為滿態射的充分必要條件是coker f=0。...
子對象和(sum of subobjects)代數系和與集合併的推廣.設{A; };E,為範疇若中對象A的一個子對象簇,u;:A;->A為相應的單態射.若A有一個子對象A',u:A...
子對象交(intersection of su bobjects)代數系交與集合交的推廣.設{A}。,為範疇留中對象A的一個子對象簇,若有單態射Ai } AJ,則規定A鎮A;.當正向極限畢...
舉例來講,在範疇論中,藉助於對偶變換(對偶化),由始對象便可得終對象、由單態射得滿態射、由核得上核、由積得上積;在同調代數中,由正向極限得反向極限、由...
在範疇論中,一個數學分支,拉回(也稱為纖維積或笛卡爾方塊)是由具有公共上域的兩個態射 f : X → Z 與 g : Y → Z 組成的圖表的極限。拉回經常寫作P...