\begin{definition}[Definition:Injective Module]
Let $R$ be a ring with unity.
A left $R$-module is '''injective''' {{iff}} it is an injective object in the category of left $R$-modules.
Category:Definitions/Homological Algebra
\end{definition}