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