Set functors and generalised terms
Patrik Eklund, M.A. Galán, Manuel Ojeda‐Aciego, Agustín Valverde · 2000
In this paper we use techniques for monad compositions in order to provide a basis for categorical unification in the framework of generalised terms. In particular, we provide results for many-valued sets of terms, and show that this composition of set functors can be extended to a monad.