{"entities":{"Q5956928":{"pageid":8133730,"ns":120,"title":"Item:Q5956928","lastrevid":39837562,"modified":"2025-01-27T18:09:13Z","type":"item","id":"Q5956928","labels":{"en":{"language":"en","value":"Boundedness and complete distributivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1713833"}},"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":"Q5956928$7CBE8F68-EBC8-46CE-A0D0-7C34B5A14281","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dde00db6e765528c7f9cd1561d03cd633821bb74","datavalue":{"value":{"text":"Boundedness and complete distributivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5956928$9B07EFFC-7549-4F5D-9EE0-7AD092CEEBEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b4c3972b1d10697ca624f9b432e8e3c52c70e1e","datavalue":{"value":"1017.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956928$556EAA5B-BB10-4DF1-965E-5BE76B80F491","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e55812718e6878c3465f84293aa0bcb380a36ff6","datavalue":{"value":"10.1023/A:1012095313842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956928$C88D294A-D05E-4213-9DBE-83BFEF0BEA2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"287c1ad9c4b9498e19d911ca6d4d32d1c217a55d","datavalue":{"value":{"entity-type":"item","numeric-id":1394133,"id":"Q1394133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956928$F5A915EF-4FEF-4980-AFB3-E73561A44225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768eb84f904cea244496fad91b6f670d4cc635cc","datavalue":{"value":{"entity-type":"item","numeric-id":633804,"id":"Q633804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956928$1229514B-428E-4268-95DD-9FA84902BC37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956928$CFBC0303-BEB2-4F2B-BA52-24C0F9C36FE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"433a0b2d5ca848667b737a26efa25021702b8585","datavalue":{"value":{"time":"+2003-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5956928$2DFFD9CF-9638-4962-9BFA-990B4D2F49B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a97811e5410a3f607a20560a020ae81175e43ff6","datavalue":{"value":"In a previous paper [\\textit{R. Rosebrugh} and \\textit{R. J. Wood}, Appl. Categ. Struct. 2, No. 2, 119-144 (1994; Zbl 0804.06013)], the authors showed that there was a bi-equivalence between the 2-categories of constructively completely distributive lattices with sup-preserving arrows and that of the idempotent splitting completion of the 2-category of relations; this is all relative to the base topos. Furthermore, as an outcome of this bi-equivalence they were able to obtain a simple construction of the closed unit interval as an ordered set.   The motivation for the paper under review is to try to modify these ideas in such a way as to obtain a similar construction for the non-negative reals. The necessary adjustment is to consider ordered sets with bounded suprema over which inhabited infina distribute. This leads to a 2-category which is bi-equivalent to a variation of the idempotent splitting completion of the 2-category of relations. The article takes a more monad theoretic approach than its predecessor by considering variants of the down-set monad. In the process of obtaining the new bi-equivalence and the desired simple construction of the non-negative reals, several interesting results are obtained along the way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956928$1E9ECD88-099E-494E-A083-03DB0A19E49F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39b02d015f14d620a5308a1f38b65d3e56d13be9","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956928$7BAE01C8-6584-4B67-8F9C-43DC0F3849F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956928$A58E9254-16A2-46D8-9AED-88DD72FC58E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08ff37085da1bb248e1e5dc7e77aec603b6cf16a","datavalue":{"value":"06D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956928$0209234E-6D1C-4669-B629-FF40CB06F48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956928$AD03A42B-2517-499A-AB06-0652A702DD37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f720d1bbc6f62064cd6b8ecd6a3a065173f40c98","datavalue":{"value":"1713833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956928$5322EC7F-F462-466B-BCE2-3A10D755B70E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3367f45a78463c7854436a54a6dbc2d3bea2ddcb","datavalue":{"value":"constructively completely distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956928$0F4B6DE1-8889-439C-9E04-537F106766B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f52a271009bd614e4ebf24e05973cb3b9b8e5ec5","datavalue":{"value":"idempotent splitting completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956928$C59B49FC-F860-4E14-B8D1-539EF2A3B790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42efb05951ff537c01485afdcff7d41416810848","datavalue":{"value":"bi-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956928$97920981-9837-4D02-8FA4-0CAA77F07183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50a4d620d5c8a40f5eec3a507a3aaeb2523f64f7","datavalue":{"value":"down-set monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956928$D218269C-BD38-4EA4-A264-4950F956FEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0a5d23415b50e1fe2cc53d9f56880603ba02b5f","datavalue":{"value":"construction of the non-negative reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956928$7F83DA81-AE2A-4F48-9153-DC0C5BCE6D46","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":"Q5956928$E5C9E2C2-ECDD-4D98-8004-B6E3424A8992","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55920e2f14067076e4a1a6fc7534fd7c49d0e0be","datavalue":{"value":"https://doi.org/10.1023/a:1012095313842","type":"string"},"datatype":"url"},"type":"statement","id":"Q5956928$6A503EF2-22CC-4367-94DC-28C81F31E9B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f89e5fc6f7640b5650a0c0cd69ea77069faf6c78","datavalue":{"value":"W42117920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956928$9A2C3BD4-CFE8-4FAE-9146-9E441050FE2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae5ae72f6cac7839ab5a96e3dcf866f0b69e76f","datavalue":{"value":{"entity-type":"item","numeric-id":3614502,"id":"Q3614502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2726b0dec0c4712e7d79819e754201a2c18e9ec7","datavalue":{"value":{"amount":"+0.7504697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956928$80B883B6-76BA-454B-AB04-8D7B6AC401F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7266c0a4f6dd0a7971e20af732609621cee68f4","datavalue":{"value":{"entity-type":"item","numeric-id":5213344,"id":"Q5213344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112937adc730164eb1c72b5189a7faf7c0875718","datavalue":{"value":{"amount":"+0.702567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956928$401E060F-2ABA-46FD-BE36-7F9A0A82993C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859bb215834ed560bba3fae8f42c1ee767bffb4c","datavalue":{"value":{"entity-type":"item","numeric-id":3156503,"id":"Q3156503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948d2f95aabf15ed0cb601aaeea1fc11d250b87f","datavalue":{"value":{"amount":"+0.69399405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956928$5035EA46-CE4D-4BC9-A935-1D0406EE01D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063b6b0b1f1b6837b48b686de06e96c383b77b01","datavalue":{"value":{"entity-type":"item","numeric-id":1330904,"id":"Q1330904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d607c7844cbbb8ada4e115950d47eb74d5a5b3","datavalue":{"value":{"amount":"+0.6899776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956928$11BB7E6C-3AF0-4909-AFC4-8DB146C17764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26cc7eae21928e7df41e64fdab9db8330ec7262","datavalue":{"value":{"entity-type":"item","numeric-id":5074667,"id":"Q5074667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd25ad044e165fbfd48cd46a875a4ed8b009b699","datavalue":{"value":{"amount":"+0.6864093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956928$DE3A01EF-C707-4EA1-8A9F-A0AFA67C4F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69718d2cb7c64db0d8201e507287d805b0bc20cf","datavalue":{"value":{"entity-type":"item","numeric-id":2643609,"id":"Q2643609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300478927776c10f70c92ed3971a991ac4bca47a","datavalue":{"value":{"amount":"+0.686311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956928$8BC98B63-40C2-41F6-A6FB-17D0EEA75E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab54cbc8310413c044d93256bf664ef110ab2f9a","datavalue":{"value":{"entity-type":"item","numeric-id":3680885,"id":"Q3680885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460fb7b031c130f1752a659727379b9fc7e25a8b","datavalue":{"value":{"amount":"+0.6830927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956928$C2E4B2A1-18BA-4DA6-82B9-9D770DA8787F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ea75b0ae6dfb90e01a5deef6e9eaf3d952f213","datavalue":{"value":{"entity-type":"item","numeric-id":5955949,"id":"Q5955949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307bf5fdb15506a51270e8b87040c5bd6a8a0213","datavalue":{"value":{"amount":"+0.68225414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956928$CDD24B8D-0D96-47CE-AB62-849A95BB8924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4921618559a610a1eb0b2b8519c3351dcc157aa4","datavalue":{"value":{"entity-type":"item","numeric-id":4918196,"id":"Q4918196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e563854f77cf77090f0b569041a4411194868de","datavalue":{"value":{"amount":"+0.67981756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956928$550F93C2-ED25-4827-B1DC-464587DC6C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4d2a4055684cd7a81a749bf15d972b9c63d621","datavalue":{"value":{"entity-type":"item","numeric-id":5390624,"id":"Q5390624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8d7cf2f6bd9ac8fc767b9dc12e7240bd5a4d80","datavalue":{"value":{"amount":"+0.67839533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5956928$458D7505-0D07-49FA-8647-655711BFE246","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5956928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5956928"}}}}}