Model theory in compactly generated (tensor-)triangulated categories (Q6574117)

The authors develop model theory within a compactly generated triangulated category \(\mathcal T\), offering a framework that can significantly aid the study of these categories. This model theory is introduced in Section 2, where pp-formulas, pp-types, and free realizations are discussed. In Section 3A, various types of data used to define a definable subcategory of \(\mathcal T\) are explored. Sections 3B and 3C examine the bijection between definable subcategories of \(\mathcal T\) and finite-type hereditary torsion theories on Mod-\(\mathcal{T}^c\). The next subsection focuses on the categories of imaginaries of a definable subcategory. Section 3E delves into connections between hom-orthogonal pairs in \(\mathcal T\) and finite-type hereditary torsion theories on Mod-\(\mathcal{T}^c\). Section 3F studies the Ziegler spectrum of \(\mathcal T\). Finally, triangulated definable subcategories and elementary duality are reviewed. The concluding section addresses tensor triangulated categories, covering spectra, internal duality, and certain ideals of \(\mathcal{T}^c\) associated with a definable category.