The Patch Construction is Dual to Algebraic DCPO Representation

Using the parallel between the preframe and the suplattice approach to locale theory it is shown that the patch construction, as an action on topologies, is the same thing as the process of recovering a discrete poset from its algebraic dcpo (ideal completion).

• Type: Journal
• Year: 2011
• Where: ACS
• Authors: Christopher F. Townsend
• Keywords: ACS 2011, Algebraic Dcpo, Distributed And Parallel Computing, Ideal Completion, Patch Construction