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