Title: Definable additive categories
Subjects: Abelian categories, Model theory, Categories (mathematics)