Polynomial monads and delooping of mapping spaces

Michael Batanin, Florian De Leger

We extend some classical results - such as Quillen's Theorem A, the Grothendieck construction, Thomason's Theorem and the characterisation of homotopically cofinal functors - from…