Are abelian non-degenerate tensor categories semisimple? A pivotal monoidal category is called non-degenerate if the inner product $\left(x,y\right) = Tr\left(xy^{*}\right)$ (where $y^{*}$ is the dual map) is non-degenerate.  As a rule of thumb non-degenerate is closely related to semisimplicity.  For example, if a category is semisimple then it is automatically non-degenerate (this follows from the fact that simple objects don't have dimension $0$).  Another way of stating non-degenerate is that the category has no "negligible morphisms" where a morphism is called negligible if any way of composing it in order to get an endomorphism of the trivial gives you the zero map.
If you have an abelian pivotal monoidal category which is non-degenerate is it automatically semisimple?
 A: To my understanding, the answer is "yes"; at least if everything is sufficiently linear over a decent field k. Isn't this proved in Ulrieke Tillmann's great paper, "S-structures for k-linear categories and the definition of a modular functor"? By the way, one needs to obtain the journal version of that paper; the arXiv version doesn't have the pictures :-(
A: OK, let me try again. First, a general construction. Let V be an object in an abelian category, A = End(V) and J a finitely generated two-sided ideal of A, with generators (j_1, ..., j_r). Define V/JV to be the cokernel of V^{r} --> V, where the map is multiplication by j_i on the ith coordinate. We need to check that this depends only on J and not on the choice of generators; I haven't actually done this. Define JV to be the kernel of V --> V/JV. So we have a short exact sequence
0 --> JV --> V --> V/JV --> 0
I claim that the action of A on V passes to an action of A/J on V/JV. Also, A acts on JV. (One can say more than this, but we don't need to.)
Using the action of A on JV, we can repeat this construction to get JV/J^2V, J^2 V/J^3 V, etcetera. All of these come with actions of A/J.
Now, suppose that all of our Hom spaces are finite dimensional. A finite dimensional algebra is semi-simple if and only if it has no nontrivial nilpotent two-sided ideal. So, suppose for the sake of contradiction that there is some (V,A,J) as above with J nilpotent. Then J^k V is eventually zero. Trace is additive in short exact sequences, so 
Tr(f: V --> V) = \sum Tr(f: J^k V/J^{k+1} V --> J^k V/J^{k+1} V).
If f is in J, the right hand side is 0. Also, if f is in J, so is fg for any g in A because J is an ideal. So J is in the kernel of the trace pairing, and we deduce that J=0.
So all endomorphism rings are semi-simple and, by the lemma cited above, so is the category.
A: I believe this is Proposition 5.7 in Deligne's “La Categorie des Representations du Groupe Symetrique S_t, lorsque t n’est pas un Entier Naturel”. See also this question.
A: Noah: I believe so. There is a standard lemma: if you have an additive category, in which every idempotent has an image, and in which every endomorphism ring is semi-simple, then the category is semisimple abelian. See, for example, www.ams.org/mathscinet-getitem?mr=1150598
It shouldn't be too hard to show that a ring with nondegenerate trace is semisimple.
