{"entities":{"Q645202":{"pageid":647050,"ns":120,"title":"Item:Q645202","lastrevid":51361871,"modified":"2026-01-17T22:34:38Z","type":"item","id":"Q645202","labels":{"en":{"language":"en","value":"A duality of generalized metric spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5969488"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$10D0D41B-0ECD-45B3-A07B-DC9FD9B00EBF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46a97ccd9ba3903d1c9ba1e36d05b92d42e8ca48","datavalue":{"value":{"text":"A duality of generalized metric spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q645202$FD5A4B3A-694C-4CBB-8F0E-A0DC7B668CE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e25464a480d26f9052af9bc3b6218cc014d39c13","datavalue":{"value":"1235.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645202$9571D5EF-0EC1-4908-8588-5B4B38A39A72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e76d0d268288758f5a13980b9ce476949bca3b5","datavalue":{"value":{"entity-type":"item","numeric-id":645201,"id":"Q645201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$E79A969E-4B94-4630-929A-2C3D52B9B58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f616bca6a150eb25dfb5663aa7286d07690a80e","datavalue":{"value":{"entity-type":"item","numeric-id":276491,"id":"Q276491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$AFF74425-C703-4B3F-9F7F-F5A57BB080D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$9B2B64BC-9B08-4BF0-B34B-C38C59F76207","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97a2a7f718152fb114133f4e0547b811f82bed7b","datavalue":{"value":{"time":"+2011-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q645202$82BBE117-9371-4293-AD47-158F9B6909C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2bcf95c0c841928300281a7041bcb5da56d8bc9b","datavalue":{"value":"In domain theory, Lawson duality is the result that the category \\textbf{Dom} of continuous dcpos and open filter-reflecting maps is self-dual. A dcpo may be defined as a category \\(X\\) enriched in a two-element lattice (and is thus a poset) satisfying the condition that the lower closure functor \\(\\downarrow :X\\to JX\\) has a left adjoint which itself has a left adjoint (here \\(JX\\) is the set of filters in \\(X\\)). It is a classical result due to Lawvere that quasi-pseudometric spaces may be defined as categories enriched in the quantale \\([0,\\infty]\\). As such it is natural to define a \\([0,\\infty]\\)-domain to be a quasi-metric space which, seen as a \\([0,\\infty]\\)-category, satisfies the condition that the left adjoint of the (enriched) Yoneda embedding has itself a left adjoint.  Developing the necessary theory of \\([0,\\infty]\\)-domains, the author shows that the category \\([0,\\infty]\\)-\\textbf{Dom} of \\([0,\\infty]\\)-domains and open filters reflecting morphisms is self-dual. Lawson duality for domains is then a corollary by restriction along the embedding \\(\\{0,\\infty\\}\\to [0,\\infty]\\). The article is quite self-contained and clearly written, finishing with a short discussion of the possible applications of the new duality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q645202$C3B7A7B7-2B19-482A-B0E6-2E2561A591FA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7dbe25fb37082c76317d1c3ba00636a8fb492cde","datavalue":{"value":{"entity-type":"item","numeric-id":272874,"id":"Q272874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$D043465A-3A69-4A09-8128-620788586D9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645202$D4B3B390-79DB-465D-A4FC-0CFEA7A80030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645202$0C030850-10F5-4DEC-9D25-7B64234C875E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645202$F8D280CC-84EA-4943-AFDE-CD43AD2AF2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645202$2DA23C84-D7A7-4399-A411-1C5171AD41AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbf92d92764edb73ce360d81005894f1af0732ac","datavalue":{"value":"5969488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645202$B0FEC035-887F-4985-8D55-56DF1FAC6B0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"241038cf29a7f12e0cf05eb2c573a8cc4ae0c1ee","datavalue":{"value":"Lawson duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q645202$DA1F7972-AF23-4D5E-AF65-B27DD352C3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"602da20f118cdec14781232971bb6f90bac07b54","datavalue":{"value":"generalized metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q645202$43D7C6F8-A2DB-49DE-B21C-21C1554CE8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07962a44d72466decd52ccb5ac5c463f196d864b","datavalue":{"value":"quasi-metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q645202$174D19E9-37AA-4DDC-8CA9-D95424E69B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909413cfcc7eb94660a94756cb8eed338c2b400b","datavalue":{"value":"continuous dcpos","type":"string"},"datatype":"string"},"type":"statement","id":"Q645202$AB9E6EDB-24CE-4EEF-9A40-A827AED78E5B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$2B1B694A-3031-4816-B237-DDCFFC15B241","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac3518d676b658a95cf909f9e34a20d73d3733c6","datavalue":{"value":"https://doi.org/10.1016/j.topol.2011.04.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q645202$06E2C195-C6D1-4024-8945-B4072310B569","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd7b80f8a86b4eca44c6f5d292480808f578fcbe","datavalue":{"value":"W2067545145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645202$BA80B14D-3500-4740-8C67-8E6F719AF1EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$54F19629-3FDE-4634-92E0-001AF21AAE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6d184081f6b6278f9ff8fa9f72875e1e714691","datavalue":{"value":{"entity-type":"item","numeric-id":1127524,"id":"Q1127524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$2E38974C-BF1A-498E-A430-7E8E2E22921B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aadd4ae14136691469b9e304bcd492452ee4101","datavalue":{"value":{"entity-type":"item","numeric-id":1404248,"id":"Q1404248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$3F10E76C-E55D-4D03-934B-E6C03E84A577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8295bb49ed962fa07d19afccfc6d36f8cdab88","datavalue":{"value":{"entity-type":"item","numeric-id":1869194,"id":"Q1869194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$77213BA9-4672-422C-91FA-08ADD403EEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461e09c6e32527e9db41b384482aef4b9a7e5ece","datavalue":{"value":{"entity-type":"item","numeric-id":1430170,"id":"Q1430170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$36128F75-0091-4245-B68C-FAEE2BC1E815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$D14EC6CE-8616-4571-B5BC-9633AF947B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a46eebc1185024825a732345694f47e9e934e3e","datavalue":{"value":{"entity-type":"item","numeric-id":2383009,"id":"Q2383009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$946E8557-4076-40A6-8BF1-B9D379188412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4946fda75bcd094d1ac0bdc809fbf4dd03afacd2","datavalue":{"value":{"entity-type":"item","numeric-id":536049,"id":"Q536049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$E67D97C6-5129-4E4B-B0EF-1BE543E37DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a283f6beb98075fee57b6325bcdf6dfd5d181a1","datavalue":{"value":{"entity-type":"item","numeric-id":4679165,"id":"Q4679165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$E4F01B02-6A73-4EDB-9E79-D2619A509D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aabb7f8a0e027e5cfc96f0d045548940d5270f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3081322,"id":"Q3081322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$C3D3D9D0-5A3E-469E-80DA-73CD7152454A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8af9e830d2e991b5039715712127bb86dcc0d4dd","datavalue":{"value":{"entity-type":"item","numeric-id":1605178,"id":"Q1605178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$9F00FC3D-7116-48A9-9CB9-E9C826B139C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7829b8e34102836278f3b80e37f72fbf4ea12db5","datavalue":{"value":{"entity-type":"item","numeric-id":3864573,"id":"Q3864573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$2B5AB587-FBAA-4E20-A77F-05A475C306C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8adf691515f34c823c055c20548aa34312ef5c8b","datavalue":{"value":{"entity-type":"item","numeric-id":4551182,"id":"Q4551182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$2A8B936F-6B99-45C4-A6A0-7E7CCBE6F173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a63a422828fcaf9307c276ed95267bb3499a316","datavalue":{"value":{"entity-type":"item","numeric-id":3635997,"id":"Q3635997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645202$5A098961-ACFD-49CF-888F-C731C653D3CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1dc31266218187806b8414fec009fec9fb62a71","datavalue":{"value":"10.1016/J.TOPOL.2011.04.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645202$6D1CF8CE-877D-4595-91BB-01EDDA8F93C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1528fa023d6e15417da0c9b6ed79df6c8a9c9826","datavalue":{"value":{"entity-type":"item","numeric-id":456860,"id":"Q456860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ad20af91872a33b47168a0d4da9604f4951164a","datavalue":{"value":{"amount":"+0.8184158205986023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645202$EA3BF63F-FBDB-4980-9CF3-86267A74E300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9789a30a979bed0ec1c7951469fe4039db9b3b0c","datavalue":{"value":{"entity-type":"item","numeric-id":3154103,"id":"Q3154103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"846d175ff916fad95a23a0f8147d577f03c68600","datavalue":{"value":{"amount":"+0.7726564407348633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645202$9B4E2967-9F1F-4801-AEB4-4B18AD46789D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbb4535f5005712cab11eabfea032d3b05e58175","datavalue":{"value":{"entity-type":"item","numeric-id":5701012,"id":"Q5701012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84592da96954217d8d7427c2f2e1603499ef63d1","datavalue":{"value":{"amount":"+0.7543328404426575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645202$122A2BB6-ECA7-4F5F-BA2C-CAA6AF262E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0978f7f1c3f3d0f5fd6e020fa7fa81caded131f4","datavalue":{"value":{"entity-type":"item","numeric-id":1127524,"id":"Q1127524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ea26cf2263c2ae5bbac368cec6d941150064a2","datavalue":{"value":{"amount":"+0.7513354420661926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645202$59716694-2AFB-416E-B0FF-F53C31FBFCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99cdd23cb8314b0057d0c16aecb66c270c128f02","datavalue":{"value":{"entity-type":"item","numeric-id":3386254,"id":"Q3386254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e5733fc8b79a020c90c9daa951daf0dd2d300f","datavalue":{"value":{"amount":"+0.75014328956604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645202$686F22F6-AB9A-4271-AC66-045F564C0378","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:645202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:645202"}}}}}