added monoidal functors
added the function monoidal functor