Ganea comonads (Q1576589)

Let \(g: G_nX \to X\) be the Ganea-Svarz fibration over a topological space \(X\). It is well known that this fibration admits a section if and and only if the Lyusternik-Shnirel'man category of \(X\) is at least \(n\). In particular, the fibration \(G_nG_nX \to G_nX\) always has a section. The author shows that this section can be constructed naturally in \(X\), if we choose a certain special model for the functor \(G_n\). Moreover, this section turns \(G_n\) into a comonad in the category of pointed topological spaces.