补充资料：子范畴

子范畴
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你朋以。撰张英伯译
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。