関手
射の集合がアーベル群となっている圏(Ab-豊饒圏)の間の函手が、射の集合の間の群準同型を与えるならば加法的であると言う。