Additive functor

Summary