VARIETAL HULLS OF FUNCTORS

Abstract

The well known characterizations of equational classes of algebras with not necessaryly finitary operations by FELSCHER [6.7] and of categories of A-algebras for algebraic theories A in the sense of LINTON [10], esp., by means of their forgetful functors are the foundations of a concept of varietal functors U:K → L over arbitrary basecategories L. They prove to be monadic functors which satisfy an additional HOM-condition [17]. (In the case L = Set this condition is always fulfilled, see LINTON [11].)