[adamnemecek]

It’s a renormalization process. It can be modelled as a convolution in a Hopf algebra.

[chpatrick]

It's simple, monads are just monoids in the category of endofunctors...