[[!redirects groupoid]] [[!redirects groupoids]] < [[nlab:groupoid]] category: redirected to nlab