On the homotopy theory of Grothendieck -groupoids

DOI10.1016/J.JPAA.2012.10.010zbMATH Open1291.18006OpenAlexW1759357595MaRDI QIDQ2376572FDOQ2376572

Authors Dimitri Ara 

Publication date 24 June 2013

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

homotopy typehomotopy groups\(\infty\)-groupoids

Mathematics Subject Classification ID

Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Classification of homotopy type (55P15) Homotopy groups, general; sets of homotopy classes (55Q05)

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.

Recommendations

• Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids
• Grothendieck's homotopy theory
• ∞-Groupoids as a model for a homotopy category
• Batanin higher groupoids and homotopy types
• Towards a globular path object for weak \(\infty\)-groupoids

Cites Work

• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 3414502 (Why is no real title available?)
• A cellular nerve for higher categories
• Algebraic models for higher categories
• Coherence for tricategories
• Combinatorial model categories have presentations
• Duality for simple \(\omega\)-categories and disks
• Homotopical algebra
• Iterated wreath product of the simplex category and iterated loop spaces
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids
• The Brown-Golasiński model structure on strict \(\infty \)-groupoids revisited
• The groupoidal analogue \(\widetilde{{\Theta}}\) to Joyal's category \(\Theta\) is a test category

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 no real title available?)
• 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 no real title available?)
• 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 no real title available?)
• 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)