[[!redirects homotopy type]] < [[nlab:homotopy type]]