1) 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函子自然等价。
2) bifunctor
范畴函子
3) category of functors
函子的范畴
4) functorially finite subcategory
函子有限范畴
5) Full Subcategory
满子范畴
6) Reflective Subcategory
反射子范畴
补充资料：满子范畴
满子范畴
subcategory
满子范畴【皿曰腼姆即叮;~a，uo八从aTero”，} 一个范畴异的子范畴塔，使得对C的任两个对象A与B，有等式 H。(A，B)=H，(A，B).因此，一个满子范畴是由其对象的类所完全确定的.反过来，一个范畴只的对象类的任何子类都唯一地确定一个满子范畴，此子类就是所述子范畴的对象之类.这个子范畴只包含那些其源与靶(即通常所述的定义域与上域)都属于此子类的态射.特别，对应于单独一个对象A的子范畴是由集合H八A，A)所组成的. 许多重要的子范畴都是满子范畴(反射的与上反射的子范畴，簇，等等).Mlll.UaJIeHK。撰
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条