### Abstract

Model theory for ``finitary'' (locally finitely presented) abelian categories is well-developed. In particular to such a category one may associate its Ziegler spectrum, sheaf of locally definable scalars, et cetera. I describe how model theory and associated structures have been extended to compactly generated (``finitary'') triangulated categories and how this has been used by various people.