Category RMod as bicomplete category

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

corollary of:

• category RMod as cocomplete category
• category RMod as complete category

• functor category for a bicomplete codomain as bicomplete category
• RMod as functor category of additive functors
• limit of additive functors as additive functor / colimit of additive functors as additive functor