Cellular decomposition of a scheme (source code)

= Cellular decomposition of a scheme

A cellular decomposition filters a scheme by closed subschemes whose successive differences are disjoint unions of affine spaces. The closures of the cells generate its Chow groups.