{"id":163,"date":"2013-06-13T11:29:12","date_gmt":"2013-06-13T09:29:12","guid":{"rendered":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?p=163"},"modified":"2022-11-19T15:33:05","modified_gmt":"2022-11-19T14:33:05","slug":"bourbaki-witt-and-a-theorem-of-dito-pataraias","status":"publish","type":"post","link":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?p=163","title":{"rendered":"Bourbaki, Witt, and a theorem of Dito Pataraia&#8217;s"},"content":{"rendered":"<p><a title=\"Dito Pataraia's obituary\" href=\"https:\/\/permalink.gmane.org\/gmane.science.mathematics.categories\/7127\">Dito Pataraia<\/a> once came up with an elegant proof of (essentially) the Bourbaki-Witt theorem. \u00a0The proof is very short, and deserves a look. \u00a0Furthermore, it uses domain theory in an essential way: the core is showing that the set of inflationary monotonic maps on a dcpo is itself a dcpo, and is directed, hence has a supremum. \u00a0Dito Pataraia would very rarely publish his findings, and we owe it to\u00a0Mart\u00edn Escard\u00f3 that it did not disappear with him. \u00a0I personally became aware of this thanks to one anonymous referee of the <a href=\"https:\/\/www.cambridge.org\/gb\/knowledge\/isbn\/item7069109\/Non-Hausdorff%20Topology%20and%20Domain%20Theory\/?site_locale=en_GB\">book<\/a>. \u00a0See the <a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?page_id=176\">full post<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Dito Pataraia once came up with an elegant proof of (essentially) the Bourbaki-Witt theorem. \u00a0The proof is very short, and deserves a look. \u00a0Furthermore, it uses domain theory in an essential way: the core is showing that the set of &hellip; <a href=\"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/?p=163\">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":[],"class_list":["post-163","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/posts\/163","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=163"}],"version-history":[{"count":3,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/posts\/163\/revisions"}],"predecessor-version":[{"id":5970,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=\/wp\/v2\/posts\/163\/revisions\/5970"}],"wp:attachment":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=163"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=163"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/topology\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=163"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}