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 NEWLINE\[NEWLINE\dots\to X_1\to X_0\to X^0\to X^1\to\dotsNEWLINE\]NEWLINE 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\).NEWLINENEWLINEIn doing so, the author generalises the notions of Gorenstein projective and injective modules, of strongly Gorenstein flat modules and Gorenstein FP-injective modules.NEWLINENEWLINEThe author then proves the stability of the category \(\mathcal G(\mathcal X,\mathcal Y,\mathcal Z)\) and investigates some of its properties.NEWLINENEWLINEFinally, the author establishes Gorenstein homological dimensions in terms of the category \(\mathcal G(\mathcal X,\mathcal Y,\mathcal Z)\).