Homotopía y algebraización de la homotopía