Pretannakian categories, that is k-linear abelian categories
with finite dimensional Hom groups, given with a commutative and
associative tensor product, with a unit object (such that End(1)=k)
and duals, can be viewed as generalizations of linear...