Definition 12.16.3. Let $\mathcal{A}$ be an abelian category. A morphism $f : A \to B$ of filtered objects of $\mathcal{A}$ is said to be strict if $f(F^ iA) = f(A) \cap F^ iB$ for all $i \in \mathbf{Z}$.

There are also:

• 2 comment(s) on Section 12.16: Filtrations

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).