sentences:  The categories of left and right modules are abelian categories.These categories have enough projectives and enough injectives.Mitchell's embedding theorem states every abelian category arises as a full subcategory of the category of modules.