ホモトピー空間の分類と代数不変量