[[!redirects commutative monoid]] < [[nlab:commutative monoid]] category: redirected to nlab