The fundamental group of a Hopf linear category

We define the fundamental group of a Hopf algebra over a field. For this purpose we first consider gradings of Hopf algebras and Galois coverings. The latter are given by linear categories with new additional structure which we call Hopf linear categories over a finite group. We compare this invariant to the fundamental group of the underlying linear category, and we compute those groups for families of examples.Comment: Computations of the fundamental group of some Hopf algebras are added. The relation with the fundamental group of the underlying associative structure is now considered. We also analyse the situation when universal covers and/or gradings exist. Dedicated to Eduardo N. Marcos for his 60th birthday. 24 page

On universal gradings, versal gradings and Schurian generated categories

Categories over a field $k$ can be graded by different groups in a connected way; we consider morphisms between these gradings in order to define the fundamental grading group. We prove that this group is isomorphic to the fundamental group \`a la Grothendieck as considered in previous papers. In case the $k$-category is Schurian generated we prove that a universal grading exists. Examples of non Schurian generated categories with universal grading, versal grading or none of them are considered.Comment: Final version to appear in the Journal of Noncommutative Geometry, 21 page