TY - RPRT TI - Cofinal morphism of polynomial monads and double delooping AU - Florian De Leger PY - 2025 UR - https://arxiv.org/abs/2205.09149 ID - 2205.09149 ER -