mention monoids