$\mathrm{VI}$ modules in non-describing characteristic, Part I

Let $\mathrm{VI}$ be the category of finite dimensional $\mathbb{F}_q$-vector spaces whose morphisms are injective linear maps, and let $\mathbf{k}$ be a noetherian ring. We study the category of functors from $\mathrm{VI}$ to $\mathbf{k}$-modules in the case when $q$ is invertible in $\mathbf{k}$. Our results include a structure theorem, finiteness of regularity, and a description of the Hilbert series. These results are crucial in the classification of smooth irreducible $\mathbf{GL}_{\infty}(\mathbb{F}_q)$-representations in non-describing characterisitic which is contained in Part II of this paper.