子范畴,sub-category

1)sub-category
子范畴

2)Full Subcategory
满子范畴

3)functor category
函子范畴
1.
We study the representation of additive functors over the functor category Mod C,convert an Abel group into a left C-module in Mod C,construct a Hom functor and a functorial morphism, and prove that any contravariant left exact additive functor F:Mod C→Ab converting sums to products is equivalent to some Hom functor.
研究函子范畴ModC上加性函子的表示,把一个Abel群作成范畴ModC上的一个左C-模,构造出一个Hom函子和一个函子态射,证明了从函子范畴ModC到范畴Ab的任意变和为积的反变左正合可加函子都与某个Hom函子自然等价。



4)Reflective Subcategory
反射子范畴

5)complete subcategory
完全子范畴

6)generating subcategory
生成子范畴
1.
t-Structure arising from a generating subcategory;
由生成子范畴导出的t-结构



参考词条
同调有限子范畴 非闭锁 个体跟踪谓词
补充资料：子范畴


子范畴
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你朋以。撰张英伯译
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。


子范畴,sub-category