Recursion and iteration in continuous theories: the ''M-construction''
A functor \(M\) is described assigning to each continuous algebraic theory \(T\) another theory \(M(T)\) whose morphisms correspond to systems of recursive equations in \(T\).
scientific article; zbMATH DE number 3847632