{"id":"arxiv/2605.25222","url":"https://arxiv.org/abs/2605.25222","tags":["math.AT"],"score":0,"title":"Polynomial $2$-monads and delooping","domain":"math.AT","source":"arxiv","authors":["Florian De Leger"],"reviews":0,"subject":"math.AT","summary":"Using the homotopy theory of polynomial monads developed by Batanin and Berger and extended to the $2$-categorical context by Weber, we prove the cofinality of a particular morphism of polynomial $2$-monads. We apply our result to give a new proof of the delooping of derived mapping spaces of infinitesimal bimodules due to Ducoulombier and Turchin.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-24","reactions":{}}