Endomorphism Category of an Abelian Category

Keyan Song,Liusan Wu,Yuehui Zhang
DOI: https://doi.org/10.1080/00927872.2017.1404072
2018-01-01
Communications in Algebra
Abstract:Let C be an additive category. Denote by End(C) the endomorphism category of C, i.e., the objects in End(C) are pairs (C,c) with CC,cEndC(C), and a morphism f:(C,c)(D,d) is a morphism fHomC(C,D) satisfying fc=df. This paper is devoted to an approach of the general theory of the endomorphism category of an arbitrary additive category. It is proved that the endomorphism category of an abelian category is again abelian with an induced structure without nontrivial projective or injective objects. Furthermore, the endomorphism category of any nontrivial abelian category is nonsemisimple and of infinite representation type. As an application, we show that two unital rings are Morita equivalent if and only if the endomorphism categories of their module categories are equivalent.
What problem does this paper attempt to address?