Homotopy coalgebras and \(k\)-fold suspensions (Q1370798)

A theorem of \textit{T. Ganea} [Invent. Math. 9, 185-197 (1970; Zbl 0194.55103)] establishes a bijection between the set of homotopy classes of comultiplications on a space \(X\) and the set of coretractions of \(X\); i.e. maps \(\gamma_X:X\to\Sigma\Omega X\) with \(\nu_X\gamma_X\simeq\text{Id}_X\) (\(\nu_X:\Sigma\Omega X\to X\) the evaluation map). Coretractions are formulated in terms of the adjoint functor pair suspension \(\Sigma\) and loops \(\Omega\), and this leads itself to further abstraction: The authors consider \(FG\)-coalgebras in a category \(A\) with respect to any pair of adjoint functors \(F:A\to B\) and \(G:B\to A\). An abstraction of higher homotopy co-associativity is implemented in the form of higher order \(FG\)-coalgebra structures. Subsequently general facts on higher order \(FG\)-coalgebras are specialized to the homotopy category. Conditions are given under which a \(k\)-fold homotopy coalgebra is a \(k\)-fold suspension.