CONTINUOUSLY GENERATED FIXED-POINTS

Fixed points are solutions to equations of the form f(x) = x. A fixed-point operator is a functional F:[D &rarr D] &rarr D such that F(f) = f(F(f)) for any f in [D &rarr D]. Fixed-point operators, like the least fixed-point operator-Y, are used to obtain solutions for recursively defined functions and domain equations. We work within the category of domains. There we characterize the fixed points of a continuous function that can be obtained via a continuous fixed-point operator: the continuously generated fixed points of f.