[[!redirects Higher Groups in Homotopy Type Theory]] < [[nlab:Higher Groups in Homotopy Type Theory]] category: redirected to nlab