Definition 111.30.7. Let \mathcal{A} be an abelian category. Let K^\bullet be a complex of \text{Fil}^ f(\mathcal{A}). We say that K^\bullet is filtered acyclic if for each p \in \mathbf{Z} the complex \text{gr}^ p(K^\bullet ) is acyclic.
Definition 111.30.7. Let \mathcal{A} be an abelian category. Let K^\bullet be a complex of \text{Fil}^ f(\mathcal{A}). We say that K^\bullet is filtered acyclic if for each p \in \mathbf{Z} the complex \text{gr}^ p(K^\bullet ) is acyclic.
Comments (0)