symmetric_monoidal_category