Model theory in compactly generated (tensor-)triangulated categories

Abstract: We give an account of model theory in the context of compactly generated triangulated and tensor-triangulated categories ${\cal T}$. We describe pp formulas, pp-types and free realisations in such categories and we prove elimination of quantifiers and elimination of imaginaries. We compare the ways in which definable subcategories of ${\cal T}$ may be specified. Then we link definable subcategories of ${\cal T}$ and finite-type torsion theories on the category of modules over the compact objects of ${\cal T}$. We briefly consider spectra and dualities. If ${\cal T}$ is tensor-triangulated then new features appear, in particular there is an internal duality in rigidly-compactly generated tensor-triangulated categories.