sentence1: homotopy theory is a branch of algebraic topology , and uses tools from abstract algebra , such as group theory , to investigate properties of spaces .
sentence2: our homotopy theory is the p -localization of the strict homotopy theory , where p is the functor that replaces a space with its postnikov tower .