补充资料：函子

函子
finctor

　　函子[加.比犷;巾yH灯。一』 从一个范畴到另一个范畴并保持范畴结构一致的映射.更准确地说，从范畴究到范畴C的一个共变函于(。调‘切t丘m以刀r)，或者简称从只到C的一个函子，是一对映射(Ob只~ob巧，Mor只~Mor句，通常用同一个字母来表示，例如用F(F:凭~C)，满足以下的条件: l)对每一个A任Ob究有F(l，)=1;(，): 2)对所有的态射:‘H，(A，B)，刀任H，(B，C)，有F(:刀)=F(二)·F(口). 从兄的对偶范畴凭’到范畴任的函子称为从只到母的一个辱孪函矛(。m功妮币阴tl加Ctor).因此，对于反变函子F:只~C，条件l)仍如上面一样需被满足，而条件2)应改成:2’)对所有的态射:‘乓(A，B)，口〔从(B，C)，有F(二刀)=F(口)·F(二). 从范畴只:，…，只。

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