Categories of imaginaries for definable additive categories

We develop some aspects of the model theory of additive structures, with particular emphasis on the abelian category of pp-imaginaries.