A new higher homotopy groupoid: the fundamental globular \(\omega\)-groupoid of a filtered space (Q2426221): Difference between revisions

A classical homotopical functor on filtered spaces is the fundamental crossed complex of a filtered space which was defined using relative homotopy groups. Related to this functor, also there are homotopical functors from filtered spaces to equivalent categories as cubical \(\omega\)-groupoids with connections or simplicial \(T\)-complexes. The equivalence of the category of globular \(\omega\)-groupoids with the category of cubical \(\omega\)-groupoids gives an indirect way to go from filtered spaces to globular \(\omega\)-groupoids. However, in this paper, a homotopical functor in this direction is directly defined. Analogously to the fundamental cubical \(\omega\)-groupoid construction due to \textit{R. Brown} and \textit{P. J. Higgins} [J. Pure Appl. Algebra 22, 11--41 (1981; Zbl 0475.55009)], here it is proved that the graded set of filter homotopy classes relative to vertices of maps from the \(n\)-globe to a filtered space has the structure of a (strict) globular \(\omega\)-groupoid.