(AB1) pre-abelian category
(AB2) abelian category
(AB5) Grothendieck category
category with duals (list of them)
dualizable object (what they have)
is an isomorphism.
Note that this definition implies that every object is a direct sum of simple objects . To see this, note that the third item of the definition is equivalent to stipulating that the vector space is in canonical duality with the vector space . Indeed, we have a canonical pairing
given by sending where the “” notation refers to extracting scalars from endomorphisms of simple objects (each such endomorphism is a scalar multiple of the identity). We also have a canonical copairing
given by sending to the “th block” of the image of the identity arrow under the isomorphism given in the definition. One can check that this pairing and copairing satisfy the snake equations. Hence if we choose a basis
for each vector space , we get a corresponding dual basis
This says precisely that has been expressed as a direct sum of the .
The above definition definition of semisimple monoidal linear category (taken from the reference of Müger below) does not use the concept of abelian category. This is because the concepts that one thinks about with abelian categories such as kernels and cokernels do not play an important conceptual role in semisimple categories, being replaced by the more important concepts of biproduct and retract. Hence it is best to give a streamlined definition from first principles without going through the language of abelian categories which would have muddied the waters.
For a category to be semisimple, it needs to have a certain directional symmetry in its hom-sets, namely that must at least have the same dimension as. This is the easiest way to check if a category will fail to be semisimple. For instance, the category of representations of an algebra will rarely be semisimple, precisely because there is no relation between and in general. Again, this can be traced back to the original algebra not having any ‘symmetry’ like the inverse operation in a group.
As far as ‘duality’ on the hom-sets is concerned, one might have a from the category to itself with the property that there are canonical isomorphisms
where “” denotes the ordinary linear dual of a vector space. Such a functor is called a Serre functor in algebraic geometry, and indeed there is precisely such a functor on the derived category of coherent sheaves on a complex manifold — it is given by tensoring with the canonical line bundle.
For 2-Hilbert spaces, there is an antilinear -operation on the hom-sets . The presence of this duality in fact forces the category to be semisimple (this comes down to the fact that a finite-dimensional -algebra, such as the hom’s between a bunch of objects in the category, must be a full matrix algebra)
The category of finite-dimensional representations of a compact Lie group is semisimple, with the simple objects being precisely the irreducible representations (this is the content of Schur's lemma). If is noncompact, one needs to pass from the concept of ‘direct sum’ to ‘direct integral?’.
Every fusion category is a semisimple category.
There is related discussion on the Forum here.