Category:Definitions/Category of Monoids