1: \begin{abstract}

2: We introduce and develop the notion of scalar extension for abelian categories. Given a field extension

3: $F'/F$, to every $F$-linear abelian category $\mcA$ satisfying a suitable finiteness

4: condition %(\emph{$F$-finiteness}, Definition \ref{def:maindef1})

5: we associate an $F'$-linear abelian category $\mcA\otimes_FF'$ and an exact

6: $F$-linear functor $t:\:\mcA\to\mcA\otimes_FF'$.

7: This functor is universal among $F$-linear right exact functors with target an $F'$-linear

8: abelian category.

9: 

10: We discuss various basic properties of this concept, among others compatibilities with

11: multilinear endofunctors such as tensor products, and the permanence

12: of favourable properties of the functors and categories involved.

13: We obtain the notion of scalar extension for Tannakian categories,

14: which allows us to deduce consequences for the algebraic monodromy groups of

15: Tannakian categories.

16: \end{abstract}

17: