加载中…
Let be a commutative ring, let be a small, -linear, Hom-finite, locally bounded category, and let be a -linear abelian category. We construct a Frobenius exact subcategory of the functor category , and we show that it is a subcategory of the Gorenstein projective objects in . Furthermore, we obtain criteria for when . We show in examples that this can be used to compute explicitly.

生成讲解博客的中文版本

生成AI智能校验的中文版本