Robuta

https://arxiv.org/abs/2405.04780 [2405.04780] Strictification of $\infty$-Groupoids is Comonadic Abstract page for arXiv paper 2405.04780: Strictification of $\infty$-Groupoids is Comonadic