Algebraic topology tries to answer problems of homotopy theory by translating them into algebra, using invariants such as the homotopy or cohomology groups of a space. These invariants, even when endowed with extra algebraic structure such as Whitehead products or Steenrod operations, rarely reflect fully the original homotopical information, and the additional data needed for a full invariant ...