%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 %I mathdoc %U http://geodesic.mathdoc.fr/item/TAC_2025_44_a8/ %G en %F TAC_2025_44_a8