On homotopy types modelized by strict -groupoids

MaRDI QIDQ2847372zbMATH OpenFDO

Authors Dimitri Ara

Publication date 4 September 2013

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

Full work available at URL https://arxiv.org/abs/1206.2945, http://www.emis.de/journals/TAC/volumes/28/19/28-19abs.html

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

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)

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.

Recommendations

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

Cited in

(6)

• Strict -groupoids are Grothendieck -groupoids
• Weak units and homotopy 3-types
• The Brown-Golasiński model structure on strict -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 -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)