additive functor

concept

Categories: