More precisely, let $G$ be an affine group scheme over a field $k$, $Rep\_k(G)$ be the category of finite dimensional representations of G, and $\omega\_0$ be the forgetful functor from $Rep\_k(G)$ to the category of vector spaces over $k$. With the usual notation in the theory of Tannakian categories, is the natural map $G\longrightarrow \underline{\text{Aut}}^{\otimes} (\omega\_0)$ an isomorphism of group schemes over $k$?



Is a group scheme determined by its category of representations?
Yes, see Deligne–Milne, "Tannakian Categories", Proposition 2.8, which says precisely this. (It doesn't matter what kind of field $k$ is, but many of the more specific recognition theorems, such as that for reductivity, do.)


I feel like I must be misunderstanding, since I understood that to *be* the theory of Tannakian categories at its most basic.


