Exactly definable categories (Q1270359)

The paper gives a nice, careful treatment of the theory of exactly definable categories. A category \({\mathcal A}\) is called exactly definable if it is equivalent to the category Ex\(({\mathcal C}^{\text{op}},Ab)\) of all exact additive functors from \({\mathcal C}^{\text{op}}\) to the category \(Ab\) of abelian groups where \({\mathcal C}\) is a skeletal-small abelian category. Let \(D({\mathcal A})\) be the category of all left exact additive functors from \({\mathcal C}^{\text{op}}\) to \(Ab\). The natural inclusion \(d:{\mathcal A}\to D({\mathcal A})\) is used to show that each of \({\mathcal A}\) and \({\mathcal C}\) determines uniquely the other. Structures associated to exactly definable categories as definable subcategories and definable quotient categories as well as Ziegler spectrum Zsp\(({\mathcal A})\) are introduced and investigated in detail. Functors \(f\) commuting with direct limits and products between \({\mathcal A}\) and \({\mathcal B}=\text{Ex}({\mathcal D}^{\text{op}},Ab)\) are shown to be induced by exact functors between \({\mathcal C}\) and \({\mathcal D}\). As a consequence \(f\) induces a continuous and closed map between Ziegler spectra if \(f\) preserves indecomposability. Each object \(M\in{\mathcal A}\) gives in the natural way a functor \(\overline M: ({\mathcal C}/M)^{\text{op}}\to\text{Mod}\)-\(\Gamma\) where \(\Gamma\) is the opposite ring of the ring of endomorphisms of \(M\). This functor is faithful and exact. Its image is called the endocategory \({\mathcal E}_M\) of \(M\). It turns out that the endocategory is a useful invariant. For example, it is proved that \(M\) is pure-injective iff its endocategory is artinian, i.e., every object in the endocategory is artinian. In particular, \(M\) is endo-finite iff all objects in its endocategory are of finite length. Pure-injectivity and other interesting, particular cases of exactly definable categories are thoroughly investigated in the last sections of the paper.