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 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 November 18, 2013 11:16:33 by Urs Schreiber (