A1 Homotopy Theory and Its Applications