We prove a Faà di Bruno formula for the Green function in the bialgebra of P-trees, for any polynomial endofunctor P. The formula appears as relative homotopy cardinality of an equivalence of groupoids. © 2013 Elsevier Inc.
- Homotopy cardinality
- Perturbative methods of renormalisation
- Polynomial functors