Definition 111.30.4. Let $\mathcal{A}$ be an abelian category. We denote $\text{Fil}^ f(\mathcal{A})$ the full subcategory of $\text{Fil}(\mathcal{A})$ whose objects consist of those $A \in \mathop{\mathrm{Ob}}\nolimits (\text{Fil}(\mathcal{A}))$ whose filtration is finite.
Comments (0)