Let be an essentially small abelian category. We prove that if admits a generator with right artinian, then admits a projective generator. If is further assumed to be Grothendieck, then this implies that is equivalent to a module category. When is Hom-finite over a field , the existence of a generator is the same as the existence of a projective generator, and in case there is such a generator, has to be equivalent to the category of finite dimensional right modules over a finite dimensional -algebra. We also show that when is a length category, then there is a one-to-one correspondence between exact abelian extension closed subcategories of and collections of Hom-orthogonal Schur objects in .

生成讲解博客的中文版本

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