Cofinal morphism of polynomial monads and double delooping

Florian De Leger

Using the theory of internal algebras classifiers developed by Batanin and Berger, we construct a morphism of polynomial monads which we prove is homotopically cofinal. We then des…