Higher fundamental groupoids for spaces
type: Item
instance of: scholarly article
title: Higher fundamental groupoids for spaces
zbMATH Open document ID: 1023.55007
DOI: 10.1016/S0166-8641(02)00185-2
author: Marco Grandis
published in: Topology and its Applications
publication date: 2003-05-27T00:00:00Z
review text: 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)].
Mathematics Subject Classification ID: 55P99
Mathematics Subject Classification ID: 18G55
Mathematics Subject Classification ID: 18D05
Mathematics Subject Classification ID: 55U10
Mathematics Subject Classification ID: 55P65
zbMATH DE Number: 1917838
zbMATH Keywords: homotopy theory
zbMATH Keywords: homotopical algebra
zbMATH Keywords: higher dimensional categories
zbMATH Keywords: higher dimensional groupoids
zbMATH Keywords: simplicial sets
reviewed by: J. Remedios
MaRDI profile type: Publication
cites work: Multiple categories: The equivalence of a globular and a cubical approach
cites work: A homotopy double groupoid of a Hausdorff space
cites work: Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
cites work: On the algebra of cubes
cites work: Colimit theorems for relative homotopy groups
cites work: Simplicial homotopy theory
cites work: Algebraic topology and concurrency
cites work: Q5580926
cites work: Homotopy invariants of higher dimensional categories and concurrency in computer science
cites work: Topological deformation of higher dimensional automata
cites work: Geometry and concurrency: a user's guide
cites work: Q4837703
cites work: Categorically algebraic foundations for homotopical algebra
cites work: Higher fundamental functors for simplicial sets
cites work: Finite sets and symmetric simplicial sets
cites work: An intrinsic homotopy theory for simplicial complexes, with applications to image analysis
cites work: A homotopy 2-groupoid of a Hausdorff space
cites work: A homotopy bigroupoid of a topological space
cites work: Q5550390
cites work: Q5522742
cites work: Nonstrict notions of \(n\)-category and \(n\)-groupoid via multisimplical sets
Recommended article: Higher fundamental functors for simplicial sets
Recommended article: Models and van Kampen theorems for directed homotopy theory
Recommended article: Nonstrict notions of \(n\)-category and \(n\)-groupoid via multisimplical sets
Recommended article: On the theory of path groupoids
Recommended article: Polyhedral monadicity of \(n\)-groupoids and standardized adjunction
Recommended article: Q4510692
Recommended article: Q3411961
Recommended article: On the construction of the Kan loop group
Recommended article: Path categories and resolutions
Recommended article: Semistrict models of connected 3-types and Tamsamani's weak 3-groupoids
description: scientific article; zbMATH DE number 1917838