I am trying to show that the functor category $\operatorname{Func}(J,Ab)$ has enough injectives (meaning that for each $F\in \operatorname{Func}(J,Ab)$ there is an injective object $I\in \operatorname{Func}(J,Ab)$ and a monomorphism $F\to I$ in $\operatorname{Func}(J,Ab)$), where $Ab$ is the category of abelian groups and $J$ is the category
$0\leftarrow 1 \leftarrow 2 \leftarrow \cdots$
(so $J$ is the opposite of the category associated to the poset of non-negative integers).
($\operatorname{Func}(J,Ab)$ is the category of functors from $J$ to $Ab$, with arrows being natural transformations).
Here is what I was able to do:
I can show that $Ab$ has enough injectives.
I know that a natural transformation $\phi: F\to G$ is a monic arrow in $\operatorname{Func}(J,Ab)$ if and only if $\phi_i:F(i)\to G(i)$ is monic for all $i$.
Given $F\in \operatorname{Func}(J,Ab)$, I can find $I\in \operatorname{Func}(J,Ab)$ and a monomorphism $F\rightarrow I$, where $I(i)$ is injective for all $i$ (I just use the fact that $Ab$ has enough injectives to construct monomorphisms $\phi_i:F(i)\rightarrow I(i)$ with $I(i)$ injective and then use the fact that the $I(i)$ are injective to define $I$ on arrows so that $\phi$ becomes a natural transformation $F\to I$). The problem is that now I can't prove that $I$ is an injective object in $\operatorname{Func}(J,Ab)$:
Is it true that if all the $I(i)$ are injective in $Ab$ then $I$ is injective in $\operatorname{Func}(J,Ab)$?
(I don't think so, but I didn't find any counterexamples).
I know that if I take an injective object $A\in Ab$ and consider the constant functor $F(i)=A$ for all $i$ and $F(\alpha)=\operatorname{id}_{A}$ for all arrows $\alpha$ in $J$, then $F$ is an injective object in $\operatorname{Func}(J,Ab)$.
I tried using limits:
I know that the functor $\lim:\operatorname{Func}(J,Ab)\to Ab$ is left exact and I used this to show that if $I\in \operatorname{Func}(J,Ab)$ is an injective object then $\lim I\in Ab$ is an injective object.
- Is it true that if $\lim\;I$ is injective then $I$ is injective?
I would be very grateful for any hints.