strict_monoidal_functor