The fundamental category of a stratified space (Q847604): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1399151
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Jonathan Woolf / rank
 
Normal rank

Revision as of 14:22, 27 February 2024

scientific article
Language Label Description Also known as
English
The fundamental category of a stratified space
scientific article

    Statements

    The fundamental category of a stratified space (English)
    0 references
    18 February 2010
    0 references
    The covering spaces of a locally nice space \(X\) are classified by the fundamental groupoid \(\Pi_1X\). For a stratified topological space \(X\), \textit{D. Treumann} based on the unpublished idea of MacPherson defined an exit 1-category in ``Exit paths and constructible stacks'' [Compos. Math. 145, No.~6, 1504--1532 (2009; Zbl 1185.32022)]. This category, which is a kind of fundamental category in terms of this paper, enables a classification of the constructible sheaves rather than covering spaces. This paper develops these ideas by defining a fundamental category for a preordered space. For the stratified spaces this reduces to Treumann's exit 1-category. A pre-ordered or po-space is a pair \((X,\leq)\) consisting of a topological space \(X\) and a reflexive and transitive relation \(\leq\) on \(X\). A map \(f: X\rightarrow Y\) of pro-spaces is a continuous and increasing map. The pro-paths are those paths which are order preserving maps, where \([0,1]\) is equipped with the standard order \(\leq\). The fundamental category denoted by \(\Pi_1^{po}X\) of a pro-space \(X\) is defined as analogue of the fundamental groupoid such that morphisms are the homotopy classes of po-paths. In the structure of the paper in Section 2, the fundamental category \(\Pi_1X\) of a pro-space \(X\) is defined. In Section 3, the fundamental categories of the homotopically nice class of filtered spaces and computing of them are discussed. In Section 4, by the fundamental categories of homotopically stratified spaces, some classifications are given. In Section 5 the fundamental category of the symmetric product \(SP^n\mathbb{C}=\mathbb{C}^n/S_n\) is computed.
    0 references
    0 references
    fundamental category
    0 references
    fundamental groupoid
    0 references
    preordered space
    0 references
    exit 1-category
    0 references
    homotopically stratified spaces
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references