abelian functor

基本解释阿贝耳函子