strong_monoidal_functor