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. 
Mike Prest
math.LO math.CT math.RA math.RT