Categories of imaginaries for definable additive categories
arXiv:1202.0427
Abstract
We develop some aspects of the model theory of additive structures, with particular emphasis on the abelian category of pp-imaginaries.
Correction in Section 5: elimination of pp-imaginaries, not general imaginaries