Aside - monoid objects in a monoidal category