[[!redirects infinity-group]] [[!redirects infinity-groups]] [[!redirects pointed connected type]] [[!redirects pointed connected types]] < [[nlab:infinity-group]] category: redirected to nlab