{"id":3510,"date":"2021-03-21T15:59:17","date_gmt":"2021-03-21T14:59:17","guid":{"rendered":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?p=3510"},"modified":"2023-03-20T11:29:05","modified_gmt":"2023-03-20T10:29:05","slug":"plotkins-powerdomain-and-the-hedgehog","status":"publish","type":"post","link":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?p=3510","title":{"rendered":"Plotkin&#8217;s powerdomain and the hedgehog"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">There are three classical powerdomains in domain theory, named after Hoare, Smyth, and Plotkin.  The first two are natural and well studied, and the third one is intricate and intriguing.  To start with, there are several possible definitions for a Plotkin powerdomain, and while all of them are isomorphic in the nice cases of coherent continuous dcpo, or countably-based continuous dcpos, one may wonder whether they would coincide on all continuous dcpos.  That is not the case, and I would like to present a funny counterexample, given in an exercise in Abramsky and Jung&#8217;s famous <em>Domain Theory<\/em> chapter.  Let me also call it the <em>hedgehog<\/em>, because it has spines.  Read the <a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=3410\" data-type=\"page\" data-id=\"3410\">full post<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>There are three classical powerdomains in domain theory, named after Hoare, Smyth, and Plotkin. The first two are natural and well studied, and the third one is intricate and intriguing. To start with, there are several possible definitions for a &hellip; <a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?p=3510\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_crdt_document":"","footnotes":""},"categories":[1],"tags":[18,16],"class_list":["post-3510","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-counterexample","tag-powerdomain"],"_links":{"self":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/posts\/3510","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=3510"}],"version-history":[{"count":1,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/posts\/3510\/revisions"}],"predecessor-version":[{"id":3511,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/posts\/3510\/revisions\/3511"}],"wp:attachment":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=3510"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=3510"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=3510"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}