Strictification of $\infty$-Groupoids is Comonadic

Kimball Strong

We investigate the universal strictification adjunction from weak $\infty$-groupoids (modeled as simplicial sets) to strict $\infty$-groupoids (modeled as simplicial T-complexes).…