Gorenstein categories \(\mathcal G(\mathscr X,\mathscr Y,\mathscr Z)\) and dimensions (Q261676)

Given an abelian category \(\mathcal A\), the author generalises the notion of the Gorenstein category of an additive full subcategory of \(\mathcal A\) as follows. Let \(\mathcal X,\mathcal Y\) and \(\mathcal Z\) be three additive full subcategories of \(\mathcal A\). The Gorenstein category \(\mathcal G(\mathcal X,\mathcal Y,\mathcal Z)\) of \(\mathcal A\) is the category with object the objects \(A\) in \(\mathcal A\) for which there exists an exact sequence \[ \dots\to X_1\to X_0\to X^0\to X^1\to\dots \] of objects of \(\mathcal X\) which remains exact when applying both functors \({\Hom}_{\mathcal A}(\mathcal Y,-)\) and \(\Hom{}_{\mathcal A}(-,\mathcal Z)\), and such that \(A\) is isomorphic to the image of \(X_0\to X^0\). In doing so, the author generalises the notions of Gorenstein projective and injective modules, of strongly Gorenstein flat modules and Gorenstein FP-injective modules. The author then proves the stability of the category \(\mathcal G(\mathcal X,\mathcal Y,\mathcal Z)\) and investigates some of its properties. Finally, the author establishes Gorenstein homological dimensions in terms of the category \(\mathcal G(\mathcal X,\mathcal Y,\mathcal Z)\).