Abstract
A completion via Frink ideals is used to define a convex powerdomain of an arbitrary continuous lattice as a continuous lattice. The powerdomain operator is a functor in the category of continuous lattices and continuous inf-preserving maps and preserves projective limits and surjectivity of morphisms; hence one can solve domain equations in which it occurs. Analogous results hold for algebraic lattices and bounded complete algebraic cpo's.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.