Definition 13.13.1. Let $\mathcal{A}$ be an abelian category. The category of finite filtered objects of $\mathcal{A}$ is the category of filtered objects $(A, F)$ of $\mathcal{A}$ whose filtration $F$ is finite. We denote it $\text{Fil}^ f(\mathcal{A})$.
Comments (0)