Gauss-Manin stratification and stratified fundamental group schemes
We define the zero-th Gauss-Manin stratification of a stratified bundle with respect to a smooth morphism and use it to study the homotopy sequence of stratified fundamental group schemes.