This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
Give examples by discussing postnikov tower (see talk page there)
Discuss how crossed complexes/strict globular groupoids only model some homotopy types
Remark that homotopy types have the additional group cohomology data associated from the postnikov tower
Question: Does there exist a definition of algebraic homotopy types as this data? A strict infinity groupoid together with a sequence of group cohomology classes?