The Stacks project

Exercise 111.30.5. Let $\mathcal{A}$ be an abelian category. Assume $\mathcal{A}$ has enough injectives. Let $A$ be an object of $\text{Fil}^ f(\mathcal{A})$. Show that there exists a strict monomorphism $\alpha : A \to I$ of $A$ into a filtered injective object $I$ of $\text{Fil}^ f(\mathcal{A})$.