The study of was the motivating example of homotopy theory. Often is called the homotopy category.
There is a functor
that sends each topological space to a weakly homotopy equivalent CW-complex.
The category can be studied by testing its objects with objects from . This is the topic of shape theory.