Namely, they are semisimple kk-linear abelian categories with finitely many simple objects. We may also drop the finiteness condition here to define a class of ‘infinite-dimensional’ Kapranov–Voevodsky 2-vector spaces. For further discussion and more references, see: