The cohomology of a pull-back on \({\mathbb K}\)-formal spaces (Q1862079)

The autor proves a collapse theorem for the Eilenberg-Moore spectral sequence with coefficients in a field \(\mathbb{K}\) converging to the cohomology of the pull-back of a fibration \(q:E\to B\) by a continuous map \(f:X \to B\); the spaces \(E\), \(X\) and \(B\) are \(\mathbb{K}\)-formal. The key to prove the collapsing theorem is the construction of an isomorphism between the \(E_2\) term and the \(E_\infty\) term which is induced by a morphism in the category of strongly homotopy graded algebras in the sense of Munkholm. The restriction to the subcategory of strongly homotopy commutative algebras allows the author to construct a model which computes the cohomology algebra of the total space of the pull-back fibration.