A1 Homotopy

#motivic/homotopy #todo/add-references #todo/create-links