An abelian category is said to have enough injectives if for every object $X$ , there is a monomorphism $0\to X\to I$ where $I$ is an injective object.