Singular cochains and rational homotopy type

Rational homotopy types of simply connected topological spaces have been classified by weak equivalence classes of commutative cochain algebras (Sullivan) and by isomorphism classes of minimal commutative A _∞-algebras (Kadeishvili). We classify rational homotopy types of the space X by using the (noncommutative) singular cochain complex C*(X, Q), with additional structure given by the homotopies introduced by Baues, {E _1,k } and {F _p,q}. We show that if we modify the resulting B _∞-algebra structure on this algebra by requiring that its bar construction be a Hopf algebra up to a homotopy, then weak equivalence classes of such algebras classify rational homotopy types. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 43, Topology and Its Applications, 2006.