# Characterization of injective objects in abelian categories

In this link it is proved that in an abelian category $\mathcal C$ we have that $f:A\rightarrow B$ is mono iff the sequence $0\rightarrow A\rightarrow B$ is exact, where the arrow from $A$ to $B$ is $f$, then they put as a corollary that an object $I$ is injective iff the hom-functor $\operatorname{Hom}_{\mathcal C}(-,I):\mathcal C^{\rm op}\rightarrow \mathsf{Set}$ is exact; an exact functor is a functor which presereves exact sequences. They show no proof of this, but I simply can't see it, then, why is this true?

Thanks

• Hint: the $Hom_C(\cdot, I)$ is always right exact, regardless of whether $I$ is injective. – xyzzyz Jun 10 '13 at 17:56
• what is right exact? – Родион Раскольников Jun 10 '13 at 17:57
• @xyzzyz You mean left exact. – Zhen Lin Jun 10 '13 at 18:20
• @ZhenLin yes, of course. – xyzzyz Jun 10 '13 at 21:29

## 1 Answer

As stated in the comments, $\operatorname{Hom}_C(\cdot,I)$ is always left exact, so we wish to show that $I$ is injective if and only if $\operatorname{Hom}_C(\cdot,I)$ is right exact.

First, let $0\to B\to C$ be exact, and consider the sequence given by applying $\operatorname{Hom}(\cdot,I)$: $\operatorname{Hom}(C,I)\to\operatorname{Hom}(B,I)\to0$. This sequence is exact if and only if for every morphism $B\to I$ there exists a morphism $C\to I$ such that $B\to C\to I=B\to I$. This is exactly the requirement that $I$ be an injective object.