Algebraic & Geometric Topology
- Algebr. Geom. Topol.
- Volume 19, Number 6 (2019), 3171-3215.
Categories and orbispaces
Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a “classifying space”, the geometric realization of the nerve. Up to weak homotopy equivalence, every space is the classifying space of a small category. More is true: the entire homotopy theory of topological spaces and continuous maps can be modeled by categories and functors. We establish a vast generalization of the equivalence of the homotopy theories of categories and spaces: small categories represent refined homotopy types of orbispaces whose underlying coarse moduli space is the traditional homotopy type hitherto considered.
A global equivalence is a functor between small categories with the following property: for every finite group , the functor induced on categories of –objects is a weak equivalence. We show that the global equivalences are part of a model structure on the category of small categories, which is moreover Quillen equivalent to the homotopy theory of orbispaces in the sense of Gepner and Henriques. Every cofibrant category in this global model structure is opposite to a complex of groups in the sense of Haefliger.
Algebr. Geom. Topol., Volume 19, Number 6 (2019), 3171-3215.
Received: 28 October 2018
Revised: 4 February 2019
Accepted: 23 February 2019
First available in Project Euclid: 29 October 2019
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 55P91: Equivariant homotopy theory [See also 19L47]
Schwede, Stefan. Categories and orbispaces. Algebr. Geom. Topol. 19 (2019), no. 6, 3171--3215. doi:10.2140/agt.2019.19.3171. https://projecteuclid.org/euclid.agt/1572314552