caa a22 4500 445378654 CHVBK 20180317143010.0 cr unu---uuuuu 170323e20110201xx s 000 0 eng 10.1007/s10485-008-9177-9 doi (NATIONALLICENCE)springer-10.1007/s10485-008-9177-9 Townsend C. 8 Aylesbury Road, Tring, HP23 4DJ, Hertfordshire, UK aut The Patch Construction is Dual to Algebraic DCPO Representation [Elektronische Daten] [C. Townsend] 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). Springer Science+Business Media B.V., 2008 Locale nationallicence Patch nationallicence Stably locally compact nationallicence Algebraic dcpo nationallicence Preframe nationallicence Applied Categorical Structures Springer Netherlands 19/1(2011-02-01), 61-92 0927-2852 19:1<61 2011 19 10485 https://doi.org/10.1007/s10485-008-9177-9 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10485-008-9177-9 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Townsend C. 8 Aylesbury Road, Tring, HP23 4DJ, Hertfordshire, UK aut NATIONALLICENCE 773 0- Applied Categorical Structures Springer Netherlands 19/1(2011-02-01), 61-92 0927-2852 19:1<61 2011 19 10485 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer