Category:Cancellable Monoids