Stratified space

In mathematics, especially in topology, a stratified space is a topological space that admits or is equipped with a stratification, a decomposition into subspaces, which are nice in some sense (e.g., smooth or flat[1]).

A basic example is a subset of a smooth manifold that admits a Whitney stratification. But there is also an abstract stratified space such as a Thom–Mather stratified space.

On a stratified space, a constructible sheaf can be defined as a sheaf that is locally constant on each stratum.

Among the several ideals, Grothendieck's Esquisse d’un programme considers (or proposes) a stratified space with what he calls the tame topology.