The Stacks project

Exercise 111.30.1. Let $\mathcal{A}$ be an abelian category. Let $I$ be a filtered object of $\mathcal{A}$. Assume that the filtration on $I$ is finite and that each $\text{gr}^ p(I)$ is an injective object of $\mathcal{A}$. Show that there exists an isomorphism $I \cong \bigoplus \text{gr}^ p(I)$ with filtration $F^ p(I)$ corresponding to $\bigoplus _{p' \geq p} \text{gr}^ p(I)$.