\begin{definition}[Definition:Category of Right Modules]
Let $R$ be a ring.
The '''category of right $R$-modules''' is the category $\mathbf {Mod-R}$ with:
{{DefineCategory
| ob = right modules over $R$
| mor = right $R$-module homomorphisms
| id = identity mappings
| comp = composition of mappings
}}
\end{definition}