Gorenstein Homological Aspects of Monomorphism Categories via Morita Rings

In this paper we construct Gorenstein-projective modules over Morita rings with zero bimodule homomorphisms and we provide sufficient conditions for such rings to be Gorenstein Artin algebras. This is the first part of our work which is strongly connected with monomorphism categories. In the second part, we investigate monomorphisms where the domain has finite projective dimension. In particular, we show that the latter category is a Gorenstein subcategory of the monomorphism category over a Gorenstein algebra. Finally, we consider the category of coherent functors over the stable category of this Gorenstein subcategory and show that it carries a structure of a Gorenstein abelian category.