Consider the category $FdVect\_k$ of finite dimensional $k$-vector spaces, for some given field. It is abelian, semisimple, in that each object is a finite sum of simple objects (of which there is only one up to isomorphism), and also compact closed with simple tensor unit which is a progenerator.


Can we characterise $FdVect\_k$ as a category of vector spaces purely by properties of the category such as above? I don't mean to demand for instance that $End(I)$ is a field, for instance, and I suspect that this may stop any such characterisation. But this I don't mind, seeing as if rings which are 'nice enough' cannot be distinguished from fields in this way, then so be it.


I should point out that if someone says 'but what about Morita equivalence?', then I'm not sure that's right answer, since I'm looking for equivalence as a compact closed semisimple abelian ... category, not just as a bare category - but I may be wrong on this point.



Characterising categories of vector spaces
Let $C$ be an abelian monoidal category such that $1 \in C$ is simple, and each object is a finite sum of copies of $1$, i.e. isomorphic to $1^{\oplus n}$ for some $n \in \mathbb{N}$. It is well-known that $k:=\mathrm{End}(1)$ is a *commutative* ring and that $C$ is $k$-linear. By Schur's Lemma $k$ is even a field. Now, consider the functor $\hom(1,-) : C \to \mathsf{Mod}(k)$. It maps $1^{\oplus n}$ to $k^n$, thus factors as an essentially surjective functor $C \to \mathsf{Mod}\_f(k)$. It is also fully faithful, because $\hom(1^{\oplus n},1^{\oplus m}) \cong \prod\_n \prod\_m \hom(1,1) = k^{n \times m}$. It has a canonical lax monoidal structure given by $\hom(1,x) \otimes \hom(1,y) \xrightarrow{\otimes} \hom(1 \otimes 1,x \otimes y) \cong \hom(1,x \otimes y)$. This is an isomorphism: Since both sides commute with finite direct sums in $x$ and $y$, it is enough to verify this for $x=y=1$, where it is clear. Thus, $C \cong \mathsf{Mod}\_f(k)$ as monoidal categories.


