Symmetric monoidal functor