Module categories are abelian

Example 6.1.3. The main example of an abelian category is the category \(\Ab \) of abelian groups. More generally the category \(\LMod _R(\Ab )\) of left modules over an associative ring \(R\) is abelian.