If I define an additive functor to be a functor on abelian categories such that the action of F on Hom(A,B) is a group homomorphism, do I necessarily have that F(zero object) = zero object?