1: \begin{abstract}

2: We study the category $\cA$ of smooth semilinear representations of the infinite symmetric group over the field of rational functions in infinitely many variables. We establish a number of results about the structure of $\cA$, e.g., classification of injective objects, finiteness of injective dimension, computation of the Grothendieck group, and so on. We also prove that $\cA$ is (essentially) equivalent to a simpler linear algebraic category $\cB$, which makes many properties of $\cA$ transparent.

3: \end{abstract}

4: