The group associated to a Tannaka category $T$ over a field is pro-reductive if and only if $T$ is semi-simple.
Pro-reductive groups make sense over any scheme.
Is there an extension of the theory of Tannakian categories over fields to "Tannakian categories over a scheme" such that "semi-simple Tannakian categories" correspond to "pro-reductive group schemes"?