Extending map over (n+1)-cells obstructed by class in H^{n+1}(X; π_n(Y)). Computes existence and classification of lifts in fibrations.
Extending map over (n+1)-cells obstructed by class in H^{n+1}(X; π_n(Y)). Computes existence and classification of lifts in fibrations.