Higher fundamental groupoids for spaces (Q1873735): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 11:50, 1 February 2024

scientific article
Language Label Description Also known as
English
Higher fundamental groupoids for spaces
scientific article

    Statements

    Higher fundamental groupoids for spaces (English)
    0 references
    0 references
    27 May 2003
    0 references
    The author defines fundamental \(n\)-groupoids for topological spaces. Section 1 deals with the structure of the standard path functor considering the involutive lattice structure of the interval \([0,1]\). The functor of Moore paths, \(\mathbb{P}\), has a similar structure but an associative concatenation. Thus, Section 2 starts with the space \(\mathbb{P}X\) of Moore paths, which produces a cubical object with associative concatenations. A quotient \(\mathcal{P}X\) of the underlying set \(|\mathbb{P}X|\) gives a groupoid called the groupoid of strongly reduced paths. From this, a cubical \(\omega\)-groupoid is derived, and then, the fundamental \(\omega\)-groupoid \(\Pi_{\omega}X\). Finally, the fundamental \(n\)-groupoid is obtained by applying the `reflector' of \(n\)-groupoids. In section 3, the fundamental category of a directed topological space [see \textit{M. Grandis}, Directed Homotopy Theory, I. The fundamental category, Cah. Topologie Géom. Différ. Catég., to appear. Preprint \texttt{http://arXiv.org/abs/math.AT/0111048}] is extended to any dimension, following a treatment parallel to the previous section. The last section compares these constructions with the fundamental categories of (symmetric) simplicial sets, introduced in previous works by the author [see Appl. Categ. Struct. 10, 99-155 (2002; Zbl 0994.55011) and Cah. Topologie Géom. Différ. Catég. 42, 101-136 (2001; Zbl 1006.18014)].
    0 references
    homotopy theory
    0 references
    homotopical algebra
    0 references
    higher dimensional categories
    0 references
    higher dimensional groupoids
    0 references
    simplicial sets
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references