Homotopy transition cocycles (Q2381419)

Suppose that \(p: E \to B\) is a locally homotopy trivial fibration with fibre \(F\). Then one can define transition functions \[ g_{\alpha\beta} : U_\alpha \cap U_\beta \to H=H(F), \] where \(H\) is the monoid of homotopy equivalences of \(F\) to itself but, instead of the cocycle condition, one obtains only that \(g_{\alpha\beta} g_{\beta \gamma}\) is homotopic to \(g_\alpha \gamma\) as a map of \(U_\alpha \cap U_\beta \cap U_\gamma\) into \(H\). On multiple intersections higher homotopies arise and are relevant to classifying the fibration. The full theory was presented by the first author in his Notre Dame thesis. The paper under review develops the theory using language that has been developed since the original presentation in 1995.