The fundamental category of a stratified space

MaRDI QIDQ847604zbMATHFDO

Authors Jonathan Woolf

Publication date 18 February 2010

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0811.2580

zbMATH Keywords

fundamental categoryexit 1-categoryfundamental groupoidhomotopically stratified spacespreordered space

Mathematics Subject Classification ID

Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Preorders, orders, domains and lattices (viewed as categories) (18B35) Stratifications in topological manifolds (57N80)

Abstract: The fundamental groupoid of a locally 0 and 1-connected space classifies covering spaces, or equivalently local systems. When the space is topologically stratified Treumann, based on unpublished ideas of MacPherson, constructed an `exit category' (in the terminology of this paper, the `fundamental category') which classifies constructible sheaves, equivalently stratified etale covers. This paper generalises this construction to homotopically stratified sets, in addition showing that the fundamental category dually classifies constructible cosheaves, equivalently stratified branched covers. The more general setting has several advantages. It allows us to remove a technical `tameness' condition which appears in Treumann's work; to show that the fundamental groupoid can be recovered by inverting all morphisms and, perhaps most importantly, to reduce computations to the two stratum case. This provides an approach to computing the fundamental category in terms of homotopy groups of strata and homotopy links. We apply these techniques to compute the fundamental category of symmetric products of R^2, stratified by collisions. Two appendices explain the close relations respectively between filtered and pre-ordered spaces and between cosheaves and branched covers (technically locally-connected uniquely-complete spreads).

Recommendations

• Exit paths and constructible stacks
• Classification of Constructible Cosheaves
• Homotopy theory of stratified spaces
• A stratified homotopy hypothesis
• scientific article; zbMATH DE number 1192332

Cited in

(22)

• Algorithmic canonical stratifications of simplicial complexes
• The configuration category of a product
• A proset structure induced from homotopy classes of maps and a classification of fibrations
• Resonance category
• Homotopy theory of stratified spaces
• Strongly stratified homotopy theory
• Dualities between cellular sheaves and cosheaves
• From samples to persistent stratified homotopy types
• Skeleta of affine hypersurfaces
• Stratified Whitehead's theorem and knot invariants
• Categorified Reeb graphs
• Exit paths and constructible stacks
• A simplicial approach to stratified homotopy theory
• A stratified homotopy hypothesis
• Probabilistic convergence and stability of random mapper graphs
• Spaces of smooth embeddings and configuration categories
• Derived sections, factorization algebras, and Deligne conjecture
• Erratum to: ``The fundamental category of a stratified space
• The fiber of persistent homology for simplicial complexes
• Decomposition spaces and poset-stratified spaces
• Classification of Constructible Cosheaves
• Local cohomology and stratification

This page was built for publication: The fundamental category of a stratified space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q847604)