说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 反变有限子范畴
1)  contravariantly finite subcategories
反变有限子范畴
2)  covariantly finite subcategories
正变有限子范畴
3)  covariantly finite sub-categories
共变有限子范畴
4)  homologically finite subcategories
同调有限子范畴
5)  functorially finite subcategory
函子有限范畴
6)  Reflective Subcategory
反射子范畴
补充资料:子范畴


子范畴
subcategory

  子范畴【,如习魄。叮;no门“aTerop“”」 数学结构的子结构概念的一种特殊情况.范畴(公皿te-gory)习叫作范畴只的子范畴(su比ltegory),是指Ob习三Ob只,任取A,B任Ob习, H。(A,B)‘H,、(A,B)自Mor分,且两个态射在尽中的合成与它们在凭中的合成一致. 若习‘是Ob究的任意子类,则只有一个最小子范畴憩;和一个最大子范畴憩:,其对象与髦‘的对象一致;子范畴习.仅含习‘中的对象的恒等态射,叫作由习‘生成的离散子范畴(discrete suh习t贬笋ry);子范畴尼:包含定义域和值域都在配‘中的只的全体态射,叫作由旦‘生成的满子范畴(刻1 subcate即ry).耗的任意子范畴见,若对任意A,B〔Ob憩,H:(A,B)=从、(A,刃,则叫作只的满子范畴.下述均为满子范畴:集范畴中的非空集子范畴,群范畴中的Abel群子范畴,等等.对于一个小范畴(smaU cate-gory)勿,从勿到集范畴的反变函子范畴的由llom函子(态射函子,A卜)H二(A,B))生成的满子范畴同构于勺(亦见函子(几mdor)).这一结果使得可以构造任意小范畴关于极限或上极限的完全化. 范畴只的任意子范畴不一定继承该范畴的任意性质.但存在重要的子范畴类,继承了原范畴的许多性质,例如自反子范畴(refleCti祀subolte即ry)和余自反子范畴.参考文献见范畴(category);函子(仙Ic-tor).M.lll你朋以。撰张英伯译
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条