Varieties of formal series on trees and Eilenberg's theorem

Abstract

We establish Eilenberg's theorem in the context of formal series on trees. More precisely, we prove that there is a bijection between varieties of tree series and ( E, M)-varieties of tree algebras, where E and M are appropriate classes of epimorphisms and monomorphisms, respectively, in a suitable category. An application is also given.