[[!redirects homotopy level]] < [[nlab:homotopy level]] category: redirected to nlab