Building on Toen's work on higher (affine) stacks, I will discuss a notion of homotopy theory for schemes, which we call ``unipotent homotopy theory". Over a field of characteristic p>0 , I will explain how our unipotent homotopy group schemes recover
(1) unipotent completion of the Nori fundamental group scheme,
(2) p-adic étale homotopy groups, and
(3) certain formal group laws arising from algebraic varieties constructed by Artin--Mazur.
Joint work with Emanuel Reinecke