Symmetric Monoidal Functor