RMod as presentable category

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

corollary of:

• category RMod as grothendieck category
  
• grothendieck category as presentable category