This is a talk about the progress of my PhD. I will describe the polynomial monad for the Grothendieck construction for the functor from colored operads to Cat which associates to an operad its category of algebras. This description can be found in a paper in preparation from Batanin and White. I will explain how this could be used to prove in a more categorical and conceptual way the general delooping theorem proved in the paper "Delooping the functor calculus tower" from Ducoulombier and Turchin.