Double groupoids and homotopy 2-types

Details Double groupoids and homotopy 2-types Double groupoids and homotopy 2-types

2010-03-19

arxiv.org/abs/1003.3820v1

Mathematics

Algebraic Topology

keywords: Double groupoid, classifying space, bisimplicial set, Kan complex, geometric realization, homotopy type

Scientific paper

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

Affiliated with

Also associated with

No associations

Rating

Double groupoids and homotopy 2-types does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Double groupoids and homotopy 2-types, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Double groupoids and homotopy 2-types will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-354732