Stratified order one differential equations in positive characteristic

Stratification for nonlinear differential equations in positive characteristic is introduced. Testing this notion for first order equations is discussed, and related to the Cartier operator on curves. A variant of the Grothendieck–Katz conjecture is formulated, and proved in a special case.