Abstract: This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy types of their classifying spaces. Double categories (Ehresmann, 1963) have well-understood geometric realizations, and here we deal with homotopy types represented by double groupoids satisfying a natural `filling condition'. Any such double groupoid characteristically has associated to it `homotopy groups', which are defined using only its algebraic structure. Thus arises the notion of `weak equivalence' between such double groupoids, and a corresponding `homotopy category' is defined. Our main result in the paper states that the geometric realization functor induces an equivalence between the homotopy category of double groupoids with filling condition and the category of homotopy 2-types (that is, the homotopy category of all topological spaces with the property that the homotopy group at any base point vanishes for ). A quasi-inverse functor is explicitly given by means of a new `homotopy double groupoid' construction for topological spaces.
Recommendations
Cites work
- scientific article; zbMATH DE number 2125652 (Why is no real title available?)
- scientific article; zbMATH DE number 3522194 (Why is no real title available?)
- scientific article; zbMATH DE number 3536300 (Why is no real title available?)
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 2152029 (Why is no real title available?)
- scientific article; zbMATH DE number 3214578 (Why is no real title available?)
- scientific article; zbMATH DE number 3264757 (Why is no real title available?)
- scientific article; zbMATH DE number 2222234 (Why is no real title available?)
- A homotopy 2-groupoid of a Hausdorff space
- A homotopy double groupoid of a Hausdorff space
- Algebraic classification of equivariant homotopy 2-types. I
- Classifying spaces and spectral sequences
- Combinatorial homotopy. II
- Complexe cotangent et déformations. II
- Diagonal fibrations are pointwise fibrations
- Double Lie algebroids and second-order geometry. II
- From Groups to Groupoids: a Brief Survey
- Higher algebraic K-theory: I
- Homotopical algebra
- On cat^ n-groups and homotopy types
- On the 3-Type of a Complex
- On the algebra of cubes
- On the van Kampen theorem
- Simplicial homotopy theory
- Spaces with finitely many non-trivial homotopy groups
- Tensor categories attached to double groupoids.
- The behaviour of the \(\overline{W}\)-construction on the homotopy theory of bisimplicial sets
- The relationship between the diagonal and the bar constructions on a bisimplicial set
- \(n\)-types of simplicial groups and crossed \(n\)-cubes
Cited in
(16)- scientific article; zbMATH DE number 2222234 (Why is no real title available?)
- A homotopy 2-groupoid of a Hausdorff space
- A homotopy double groupoid of a Hausdorff space
- scientific article; zbMATH DE number 7684597 (Why is no real title available?)
- Note on commutativity in double semigroups and two-fold monoidal categories
- The structure of double groupoids
- Galois theory and a new homotopy double groupoid of a map of spaces
- Batanin higher groupoids and homotopy types
- Segal-type algebraic models of \(n\)-types
- A 2-groupoid characterisation of the cubical homotopy pushout
- 2-groupoid enrichments in homotopy theory and algebra
- 2-track algebras and the Adams spectral sequence
- The unit of the total décalage adjunction
- A double categorical model of weak 2-categories
- A structure theorem for 2-hypergroupoids with topological applications
- Tensor categories attached to double groupoids.
This page was built for publication: Double groupoids and homotopy 2-types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q695317)
