“…Indeed, the special case of a pre-Lie algebra has already been used by Loday and Ronco in [36] to formalise the idea of a combinatorial Hopf algebra by means of a categorical equivalence. Lastly, our use of the post-Lie structure has already had some impact by allowing one to construct planar Regularity Structures in [41] for SPDEs in homogeneous spaces as well as to revisit, in [7], the Chapoton-Foissy isomorphism given in [27,19]. Also, in [33], the authors were inspired by our construction to study a class of post-Lie algebras comprised of derivations.…”