ABSTRACT HOMOTOPY.