Purity and associated ideas may be defined in compactly generated triangulated categories via their associated functor categories and also internally. Basic definitions and results on purity are presented, mostly without proof. The Ziegler spectrum of a ring is related to that of the derived category of its modules and, in certain contexts, the rep-Zariski spectrum is related to the Zariski spectrum of the cohomology ring.

Triangulated categories (Section 17.1), such as the derived category of an abelian category and the stable module category of a group ring, often arise from abelian categories but, though additive, they are almost never themselves abelian. Nevertheless, compactly generated triangulated categories (Section 17.2) are roughly analogous to locally finitely presented abelian categories and it turns out that the theory around purity can be developed for such categories (Section 17.3). This can be done via an associated functor category but can also be done directly, without reference to that associated abelian category. Krause defined the Ziegler spectrum of a compactly generated triangulated category in terms of the associated functor category and the usual connections, for instance with definable subcategories, are there (Section 17.3.1). The relevant notion of localisation is described in Section 17.4. There is some relation between the Ziegler spectrum of a ring and that of its derived category (Section 17.3.2).