We investigate how internal algebras classifiers construction interacts with pushouts of polynomial monads. We observe that many classical constructions of homotopy theory of small categories (Quillen theorem A, Grothendieck construction, Thomason theorem etc.) can be generalised to polynomial monads using the language of classifiers