Geodesic
Strictification of ∞-groupoids is comonadic
Theory and applications of categories, Tome 44 (2025), pp. 277-304 Cet article a éte moissonné depuis la source Theory and Applications of Categories website

Voir la notice de l'article

We investigate the universal strictification adjunction from weak infininity-groupoids (modeled as simplicial sets) to ``strict infinity-groupoids'', more commonly called ``omega-groupoids''. Modeling these with simplicial T-complexes, we prove that any simplicial set can be recovered up to weak homotopy equivalence as the totalization of its canonical cosimplicial resolution induced by this adjunction. We explain how this generalizes the fact due to Bousfield and Kan that the homotopy type of a simply connected space can be recovered as the totalization of its canonical cosimplicial resolution induced by the free simplicial abelian group adjunction. Furthermore, we leverage this result to show that this strictification adjunction induces a comonadic adjunction between the quasicategories of simplicial sets and omega-groupoids.
Publié le :
Classification : 18N30, 18N10, 55U10
Keywords: strictification, infinity-groupoid, omega-groupoid, comonadic 
@article{TAC_2025_44_a8,
     author = {Kimball Strong},
     title = {Strictification of \ensuremath{\infty}-groupoids is comonadic},
     journal = {Theory and applications of categories},
     pages = {277--304},
     year = {2025},
     volume = {44},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2025_44_a8/}
}
TY  - JOUR
AU  - Kimball Strong
TI  - Strictification of ∞-groupoids is comonadic
JO  - Theory and applications of categories
PY  - 2025
SP  - 277
EP  - 304
VL  - 44
UR  - http://geodesic.mathdoc.fr/item/TAC_2025_44_a8/
LA  - en
ID  - TAC_2025_44_a8
ER  - 
%0 Journal Article
%A Kimball Strong
%T Strictification of ∞-groupoids is comonadic
%J Theory and applications of categories
%D 2025
%P 277-304
%V 44
%U http://geodesic.mathdoc.fr/item/TAC_2025_44_a8/
%G en
%F TAC_2025_44_a8
Kimball Strong. Strictification of ∞-groupoids is comonadic. Theory and applications of categories, Tome 44 (2025), pp. 277-304. http://geodesic.mathdoc.fr/item/TAC_2025_44_a8/