Homotopy classes of paths