Homotopy category of topological spaces