Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods