filtered object



Generally, in a category 𝒞\mathcal{C}, one of the more usual forms of a filtered object encountered is an object XX equipped with a filtration. A descending filtration is a sequence of monomorphisms of the form

X (n)X (2)X (1)X (0)=:X \cdots \hookrightarrow X_{(n)}\hookrightarrow \cdots \hookrightarrow X_{(2)} \hookrightarrow X_{(1)} \hookrightarrow X_{(0)} =: X \,

and an ascending filtration of the form

X (0)X (1)X (2)X (3)X. X_{(0)} \hookrightarrow X_{(1)}\hookrightarrow X_{(2)}\cdots \hookrightarrow X_{(3)} \hookrightarrow \subset X.

There are variants in which the sequence may be infinite ‘to the right’ or may be bounded or stationary in some way to the left. In situations where quotients make sense, extra conditions on the quotients X (n)/X (n+1)X_{(n)}/X_{(n+1)}, are often imposed; see associated graded object.

In more generality, it is also possible to index using any ordered abelian group.


Revised on March 5, 2015 18:14:12 by Urs Schreiber (