monoid object

monoid in certain category-theoretic category