On the homotopy theory of Grothendieck -groupoids
From MaRDI portal
Publication:2376572
DOI10.1016/J.JPAA.2012.10.010zbMATH Open1291.18006arXiv1206.2941OpenAlexW1759357595MaRDI QIDQ2376572FDOQ2376572
Authors: Dimitri Ara 
Publication date: 24 June 2013
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
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 Pi_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 Pi_infty(X) and of X are canonically isomorphic. We deduce that the functor Pi_infty respects weak equivalences.
Full work available at URL: https://arxiv.org/abs/1206.2941
Recommendations
Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Classification of homotopy type (55P15) Homotopy groups, general; sets of homotopy classes (55Q05)
Cites Work
- Title not available (Why is that?)
- Homotopical algebra
- A cellular nerve for higher categories
- Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
- Coherence for tricategories
- Combinatorial model categories have presentations
- Iterated wreath product of the simplex category and iterated loop spaces
- The groupoidal analogue \(\widetilde{{\Theta}}\) to Joyal's category \(\Theta\) is a test category
- Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids
- The Brown-Golasiński model structure on strict \(\infty \)-groupoids revisited
- Algebraic models for higher categories
- Duality for simple \(\omega\)-categories and disks
- Title not available (Why is that?)
Cited In (26)
- Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids
- Towards a globular path object for weak \(\infty\)-groupoids
- A stratified homotopy hypothesis
- \(\infty\)-groupoids, stacks, and Segal categories
- Title not available (Why is that?)
- Equipping weak equivalences with algebraic structure
- Groupoid Enriched Categories and Homotopy Theory
- The Brown-Golasiński model structure on strict \(\infty \)-groupoids revisited
- \(E_\infty\)-structures on homotopy groups
- The homotopy exact sequence for the fundamental group scheme and infinitesimal equivalence relations
- Spaces as infinity-groupoids
- ∞-Groupoids as a model for a homotopy category
- Could ∞-Category Theory Be Taught to Undergraduates?
- Monads and theories
- A homology theory for étale groupoids
- Stable homotopy hypothesis in the Tamsamani model
- Iterated algebraic injectivity and the faithfulness conjecture
- Title not available (Why is that?)
- On homotopy types modelized by strict \(\infty\)-groupoids
- On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads
- Batanin higher groupoids and homotopy types
- Title not available (Why is that?)
- Homotopy sequence of a topological groupoid with a basegroup and an obstruction to presentability of proper regular Lie groupoids
- On the homotopy hypothesis for 3-groupoids
- A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof
- The congruence topology, Grothendieck duality and thin groups
This page was built for publication: On the homotopy theory of Grothendieck \(\infty \)-groupoids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2376572)
