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