monoid_in_a_monoidal_category