Definition 0.1. Let us consider an abelian category 𝒞. Then, an object G of 𝒞 is called a generator if Hom𝒞(G,A) is nonzero for every nonzero object A of 𝒞.