A poset-stratified space is a particular way to define a stratified space that is convenient for some purposes.
A poset-stratified space is a continuous map , where is an arbitrary topological space and is a Alexandroff space, i.e. a poset with the Alexandroff topology.
The category of stratified spaces is a full subcategory of the arrow category of Top. Note that Alexandroff topologies embed Pos fully-faithfully in Top, so a map of stratified spaces consists of a continuous map and a poset map making a square commute.
The cone on a stratified space is the quotient , stratified by the poset that adjoins a new bottom element to .
The standard stratification of the -simplex is obtained by regarding it as the -fold cone of . It is stratified by the poset . Note that every stratified map has an underlying poset map ; it is a theorem the resulting map is a homotopy equivalence. Thus, we have an embedding of the simplex category into .
Any manifold can be equipped with the trivial stratification over the terminal poset. As a special case, the extended simplices assemble into a cosimplicial object .
There is a notion of a conically smooth atlas on a stratified space. (The definition is quite involved, inducting on a number of parameters simultaneously; see (Ayala–Francis–Tanaka, section 3).) The category of conically smooth stratified spaces (with conically smooth maps among them) is often again simply called .
One can endow this new category with an enrichment in Kan complexes via the extended simplices, by defining . This presents the -categorical localization of at the stratified homotopy equivalences (see (Ayala–Francis–Rozenblyum, Theorem 2.4.5)).
For a stratified space , its exit path -category is a simplicial space (in the -categorical sense) defined by
using the above embedding of into . It is proven in Ayala-Francis-Rozenblyum that this is indeed a complete Segal space. The main result of that paper is the stratified homotopy hypothesis, which is the assertion that this construction defines a fully-faithful embedding , and that certain sheaves on trat, known as striation sheaves, are equivalent to -categories.
Jacob Lurie, Higher Algebra, Appendix A.5
David Ayala, John Francis, Hiro Lee Tanaka, Local structures on stratified spaces, arXiv
David Ayala, John Francis, Nick Rozenblyum, Factorization homology from higher categories, arXiv
David Ayala, John Francis, Nick Rozenblyum, A stratified homotopy hypothesis, arXiv
Peter J. Haine, On the homotopy theory of stratified spaces (arXiv:1811.01119)
whilst an earlier paper on exit paths is
Last revised on March 13, 2023 at 11:02:27. See the history of this page for a list of all contributions to it.