Skip to main content
3 of 4
Reformatted symbols with LaTeX for ease of reading.

If $G$ is an affine algebraic group (for example a finite group), then the category of k-linear cocontinuous symmetric monoidal functors from $\mathsf{Rep}(G)$ to $\mathsf{Vect}_k$ is equivalent to the category of $G$-torsors over $k$. In particular, not every such functor needs to be isomorphic to the identity. For example, if $k'$ is finite Galois extension of k with Galois group $G$, then the functor $F(V) = (V \otimes_{k} k')^{G}$ will satisfy all the axioms you will think to write down, but is not isomorphic to the identity functor.

Jacob Lurie
  • 17.8k
  • 4
  • 78
  • 77