On the homotopy theory of Grothendieck \infty-groupoids

Abstract

We present a slight variation on a notion of weak \infty-groupoid introduced by Grothendieck in Pursuing Stacks and we study the homotopy theory of these \infty-groupoids. We prove that the obvious definition for homotopy groups of Grothendieck \infty-groupoids does not depend on any choice. This allows us to give equivalent characterizations of weak equivalences of Grothendieck \infty-groupoids, generalizing a well-known result for strict \infty-groupoids. On the other hand, given a model category M in which every object is fibrant, we construct, following Grothendieck, a fundamental \infty-groupoid functor Π_\infty from M to the category of Grothendieck \infty-groupoids. We show that if X is an object of M, then the homotopy groups of Π_\infty(X) and of X are canonically isomorphic. We deduce that the functor Π_\infty respects weak equivalences.

58 pages, v2: revised according to referee's comments, in particular: paragraph headings added, Remark 1.13 added, Section 3 partially rewritten

Cited by in corpus (9)

• Higher quasi-categories vs higher Rezk spaces
• Monads and theories
• A Quillen's Theorem A for strict $\infty$-categories I: the simplicial proof
• Algebraic models of homotopy types and the homotopy hypothesis
• On autoequivalences of the (\infty, 1)-category of \infty-operads
• Strict \infty-groupoids are Grothendieck \infty-groupoids
• On the homotopy hypothesis in dimension 3
• A semi-model structure for Grothendieck weak 3-groupoids
• A survey of models for $(\infty ,n)$-categories