[[!redirects Formalized Homotopy Theory]] < [[nlab:homotopy theory and algebraic topology -- references]] category:redirected to nlab