category RMod as Ab5 category

Let \(R\) be a ring and \(\mathrm{RMod}\) the category RMod. Then \(\mathrm{RMod}\) is an Ab5 category

corollary of:

• filtered colimits commute with finite limits in RMod

• category RMod as Ab3 category