On second-order iterative monads

AbstractB. Courcelle studied algebraic trees as precisely the solutions of all recursive program schemes for a given signature in Set. He proved that the corresponding monad is iterative. We generalize this to recursive program schemes over a given finitary endofunctor H of a “suitable” category. A monad is called second-order iterative if every guarded recursive program scheme has a unique solution in it. We construct two second-order iterative monads: one, called the second-order rational monad, SH, is proved to be the initial second-order iterative monad. The other one, called the context-free monad, CH, is a quotient of SH and in the original case of a polynomial endofunctor H of Set we prove that CH is the monad studied by B. Courcelle. The question whether these two monads are equal is left open