Effective homotopy of fibrations (Q714654)

The authors introduce the notion of a solution for the homotopical problem (SHmtP) of a constructive simplicial set and explain how to obtain from a constructive Kan fibration and the SHmtP of the fiber and of the base a SHmtP for the total space. As an illustration, some applications of the previous algorithm are given for computing the effective homotopy of fibrations of Eilenberg-MacLane spaces and for computing the different components of all levels of the Bousfield-Kan spectral sequence of a simplicial set.