strong monoidal functor

  1. Redirect Monoidal functor