加法関手

前加法圏の間の関手 $F\colon \mathcal C \to \mathcal D$ が加法関手であるとは、各 $X, Y$ について $\operatorname{Hom}(X, Y) \to \operatorname{Hom}(FX, FY)$ がアーベル群の準同型であることをいう。