Solving reflexive domain equations in a category of complete metric spaces (Q753944): Difference between revisions

The authors present a technique for constructing fixed points of certain functors over a category of complete metric spaces yielding a theorem reminiscent of Banach fixed point theorem. Consequently, reflexive domain equations associated with these functors are solved.