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