  This manuscript stands at the interface between combinatorial Hopf algebra
theory and renormalization theory. Its plan is as follows: Section 1 is the
introduction, and contains as well an elementary invitation to the subject. The
rest of part I, comprising Sections 2-6, is devoted to the basics of Hopf
algebra theory and examples, in ascending level of complexity. Part II turns
around the all-important Faa di Bruno Hopf algebra. Section 7 contains a first,
direct approach to it. Section 8 gives applications of the Faa di Bruno algebra
to quantum field theory and Lagrange reversion. Section 9 rederives the related
Connes-Moscovici algebras. In Part III we turn to the Connes-Kreimer Hopf
algebras of Feynman graphs and, more generally, to incidence bialgebras. In
Section10 we describe the first. Then in Section11 we give a simple derivation
of (the properly combinatorial part of) Zimmermann's cancellation-free method,
in its original diagrammatic form. In Section 12 general incidence algebras are
introduced, and the Faa di Bruno bialgebras are described as incidence
bialgebras. In Section 13, deeper lore on Rota's incidence algebras allows us
to reinterpret Connes-Kreimer algebras in terms of distributive lattices. Next,
the general algebraic-combinatorial proof of the cancellation-free formula for
antipodes is ascertained; this is the heart of the paper. The structure results
for commutative Hopf algebras are found in Sections 14 and 15. An outlook
section very briefly reviews the coalgebraic aspects of quantization and the
Rota-Baxter map in renormalization.
