Model theory in compactly generated (tensor-)triangulated categories

DOI10.2140/MT.2024.3.147arXiv2304.10629WikidataQ129896935 ScholiaQ129896935MaRDI QIDQ6509748FDOQ6509748

Authors: Mike Prest, Rose Wagstaffe 

Abstract: We give an account of model theory in the context of compactly generated triangulated and tensor-triangulated categories $calT$. 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 $calT$ may be specified. Then we link definable subcategories of $calT$ and finite-type torsion theories on the category of modules over the compact objects of $calT$. We briefly consider spectra and dualities. If $calT$ is tensor-triangulated then new features appear, in particular there is an internal duality in rigidly-compactly generated tensor-triangulated categories.

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Derived categories, triangulated categories (18G80) Definable subcategories and connections with model theory (18E45)

This page was built for publication: Model theory in compactly generated (tensor-)triangulated categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6509748)