strict_monoidal_category