Homotopy long exact sequence