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