Definition 13.26.1. Let $\mathcal{A}$ be an abelian category. We say an object $I$ of $\text{Fil}^ f(\mathcal{A})$ is filtered injective if each $\text{gr}^ p(I)$ is an injective object of $\mathcal{A}$.
Definition 13.26.1. Let $\mathcal{A}$ be an abelian category. We say an object $I$ of $\text{Fil}^ f(\mathcal{A})$ is filtered injective if each $\text{gr}^ p(I)$ is an injective object of $\mathcal{A}$.
Comments (0)