Definition 12.16.1. Let $\mathcal{A}$ be an abelian category.

A

*decreasing filtration*$F$ on an object $A$ is a family $(F^ nA)_{n \in \mathbf{Z}}$ of subobjects of $A$ such that\[ A \supset \ldots \supset F^ nA \supset F^{n + 1}A \supset \ldots \supset 0 \]A

*filtered object of $\mathcal{A}$*is pair $(A, F)$ consisting of an object $A$ of $\mathcal{A}$ and a decreasing filtration $F$ on $A$.A

*morphism $(A, F) \to (B, F)$ of filtered objects*is given by a morphism $\varphi : A \to B$ of $\mathcal{A}$ such that $\varphi (F^ iA) \subset F^ iB$ for all $i \in \mathbf{Z}$.The category of filtered objects is denoted $\text{Fil}(\mathcal{A})$.

Given a filtered object $(A, F)$ and a subobject $X \subset A$ the

*induced filtration*on $X$ is the filtration with $F^ nX = X \cap F^ nA$.Given a filtered object $(A, F)$ and a surjection $\pi : A \to Y$ the

*quotient filtration*is the filtration with $F^ nY = \pi (F^ nA)$.A filtration $F$ on an object $A$ is said to be

*finite*if there exist $n, m$ such that $F^ nA = A$ and $F^ mA = 0$.Given a filtered object $(A, F)$ we say $\bigcap F^ iA$ exists if there exists a biggest subobject of $A$ contained in all $F^ iA$. We say $\bigcup F^ iA$ exists if there exists a smallest subobject of $A$ containing all $F^ iA$.

The filtration on a filtered object $(A, F)$ is said to be

*separated*if $\bigcap F^ iA = 0$ and*exhaustive*if $\bigcup F^ iA = A$.

## Comments (2)

Comment #2610 by Ko Aoki on

Comment #2633 by Johan on

There are also: