Coproduct functor