On homotopy types modelized by strict -groupoids

zbMATH Open1273.18030arXiv1206.2945MaRDI QIDQ2847372FDOQ2847372

Authors: Dimitri Ara 

Publication date: 4 September 2013

Published in: Theory and Applications of Categories (Search for Journal in Brave)

Abstract: The purpose of this text is the study of the class of homotopy types which are modelized by strict infty-groupoids. We show that the homotopy category of simply connected infty-groupoids is equivalent to the derived category in homological degree greater or equal to 2 of abelian groups. We deduce that the simply connected homotopy types modelized by strict infty-groupoids are precisely the products of Eilenberg-Mac Lane spaces. We also briefly study 3-categories with weak inverses. We finish by two questions about the problem suggested by the title of this text.

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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• Batanin higher groupoids and homotopy types
• Strict \(n\)-categories and augmented directed complexes model homotopy types
• Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids
• On the homotopy theory of Grothendieck \(\infty \)-groupoids
• The Brown-Golasiński model structure on strict \(\infty \)-groupoids revisited

zbMATH Keywords

homotopy categoryhomotopy typeEilenberg-Mac Lane spacechain complexstrict \(\infty\)-groupoid

Mathematics Subject Classification ID

Chain complexes (category-theoretic aspects), dg categories (18G35) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Localization of categories, calculus of fractions (18E35) Classification of homotopy type (55P15) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Homotopy equivalences in algebraic topology (55P10) Homotopy groups, general; sets of homotopy classes (55Q05) Chain complexes in algebraic topology (55U15) Homology of a product, Künneth formula (55U25)

Cited In (6)

• Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids
• Weak units and homotopy 3-types
• The Brown-Golasiński model structure on strict \(\infty \)-groupoids revisited
• Strict \(n\)-categories and augmented directed complexes model homotopy types
• A Quillen theorem B for strict \(\infty \)-categories
• A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof

This page was built for publication: On homotopy types modelized by strict \(\infty\)-groupoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847372)