A homotopy bigroupoid of a topological space (Q5939002): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1011270417127 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W13002960 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:29, 30 July 2024
scientific article; zbMATH DE number 1624903
Language | Label | Description | Also known as |
---|---|---|---|
English | A homotopy bigroupoid of a topological space |
scientific article; zbMATH DE number 1624903 |
Statements
A homotopy bigroupoid of a topological space (English)
0 references
20 September 2001
0 references
`Modern higher dimensional algebra has its roots in the dream of finding a natural and convenient completely algebraic description of the homotopy type of a topological space' [\textit{J. C. Baez} and \textit{J. Dolan}, J. Math. Phys. 36, No. 11, 6073-6105 (1995; Zbl 0863.18004)]. There are now several quite successful constructions of such models, more or less near the topological base. The majority do need quite a large and sophisticated knowledge of the tools of algebraic topology, category theory, etc. The model for 2-types studied in this paper is one of two related ones developed in recent work by the authors. Here they use bigroupoids, elsewhere 2-groupoids. Both use quite an elementary knowledge of category theory. The main difference is that in the bigroupoid version composition is only weakly associative, i.e., the two end products of a triple composition are explicitly linked by an invertible element from the next structural level of the bigroupoid, whilst it is strictly associative in the 2-groupoid version. The construction of the bigroupoid \(\Pi_2X\) associated to a space \(X\) is beautifully simple, generalising the usual construction of the fundamental groupoid. This paper is an excellent introduction to the area.
0 references
bigroupoids
0 references
2-groupoids
0 references
2-types
0 references
triple compositions
0 references
fundamental groupoid
0 references