Double groupoids and homotopy 2-types

DOI10.1007/S10485-010-9240-1zbMATH Open1263.18003arXiv1003.3820OpenAlexW2050374847MaRDI QIDQ695317FDOQ695317

Authors: Antonio M. Cegarra, B. A. Heredia, J. Remedios 

Publication date: 21 December 2012

Published in: Applied Categorical Structures (Search for Journal in Brave)

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 $n^{extth}$ homotopy group at any base point vanishes for $ngeq3$). A quasi-inverse functor is explicitly given by means of a new `homotopy double groupoid' construction for topological spaces.

Full work available at URL: https://arxiv.org/abs/1003.3820

Recommendations

• scientific article; zbMATH DE number 7684597
• A double categorical model of weak 2-categories
• Galois theory and a new homotopy double groupoid of a map of spaces
• The equivalence of 2-groupoids and crossed modules
• A homotopy double groupoid of a Hausdorff space

zbMATH Keywords

classifying spacehomotopy typegeometric realizationdouble groupoidbisimplicial setfilling conditionKan complexnerve of category

Mathematics Subject Classification ID

Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Topological categories, foundations of homotopy theory (55U40) Homotopy groups, general; sets of homotopy classes (55Q05)

Cites Work

• Title not available (Why is that?)
• Homotopical algebra
• Classifying spaces and spectral sequences
• Title not available (Why is that?)
• Higher algebraic K-theory: I
• Double Lie algebroids and second-order geometry. II
• Combinatorial homotopy. II
• Simplicial homotopy theory
• Complexe cotangent et déformations. II
• From Groups to Groupoids: a Brief Survey
• Title not available (Why is that?)
• Spaces with finitely many non-trivial homotopy groups
• \(n\)-types of simplicial groups and crossed \(n\)-cubes
• On the 3-Type of a Complex
• The relationship between the diagonal and the bar constructions on a bisimplicial set
• On the van Kampen theorem
• On the algebra of cubes
• Title not available (Why is that?)
• Title not available (Why is that?)
• On cat\(^ n\)-groups and homotopy types
• A homotopy double groupoid of a Hausdorff space
• Algebraic classification of equivariant homotopy 2-types. I
• A homotopy 2-groupoid of a Hausdorff space
• The behaviour of the \(\overline{W}\)-construction on the homotopy theory of bisimplicial sets
• Tensor categories attached to double groupoids.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Diagonal fibrations are pointwise fibrations

Cited In (16)

• Title not available (Why is that?)
• A homotopy 2-groupoid of a Hausdorff space
• A homotopy double groupoid of a Hausdorff space
• Title not available (Why is that?)
• 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)