Arithmetic Geometry

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...