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.

7more comments