{"entities":{"Q554414":{"pageid":556181,"ns":120,"title":"Item:Q554414","lastrevid":62767323,"modified":"2026-04-11T08:19:38Z","type":"item","id":"Q554414","labels":{"en":{"language":"en","value":"A bitopological point-free approach to compactifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5935899"}},"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":"Q554414$4E45D529-15F9-4BB7-8C20-27D83E150D27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b6aab4214bcb7b7e212d8ea5f28070384805f73","datavalue":{"value":{"text":"A bitopological point-free approach to compactifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q554414$F91D2636-CCDC-438D-AE9B-19B13606BA11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a5b0886aa7b4ca90f2c9a6f229eadd2a500bdbe","datavalue":{"value":"1222.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554414$5330F72B-3824-4C65-B405-61D79E7B488D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f6e9fbba72754e2642867fbdde58cc507745946","datavalue":{"value":{"entity-type":"item","numeric-id":387626,"id":"Q387626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554414$74E05562-C4BC-4EB5-B9F6-D1C009A11828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edf169dfbc83e2cfb9f268c6e1ff4674697c5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":283747,"id":"Q283747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554414$29C338E3-206B-4CFD-A5AA-FBFF96C606D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d521e2c17b305a792cdffdc2fc62dc25d523a52","datavalue":{"value":{"entity-type":"item","numeric-id":299204,"id":"Q299204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554414$CB155A28-1B9C-4652-9B01-D2AE9710F471","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":"Q554414$573BA70C-D27E-462D-8DF6-F585D66E9F4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4f550430958fbc82f7f345b4735dd7bcd0b800f","datavalue":{"value":{"time":"+2011-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q554414$0A380676-8362-4617-B8B7-C6A4D9406AF1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d97af91ff9966bfd637b1be556cffa8ed662cd09","datavalue":{"value":"A d-frame consists of two frames \\(L_{-}\\) and \\(L_{+}\\) together with two relations \\(\\mathsf{tot}\\subseteq L_-\\times L_+\\) and \\(\\mathsf{con}\\subseteq L_+\\times L_-\\) satisfying certain axioms (imposing, in particular, that \\(\\mathsf{tot}\\) is an upper set in \\(L_-\\times L_+\\) and a sublattice of \\(L_{-}^{\\text{op}}\\times L_+\\) and that \\(\\mathsf{con}\\) is a lower set in \\(L_+\\times L_-\\), a sublattice of \\(L_{+}\\times L_{-}^{\\text{op}}\\) and closed under directed joins in \\(L_+\\times L_-\\)). D-frames were introduced by the last two authors of the present paper in [On the bitopological nature of Stone duality. Technical Report CSR-06-13, School of Computer Science, The University of Birmingham (2006)] and are a kind of point-free analogue of bitopological spaces (different from the well-known biframes of \\textit{B. Banaschewski, G. C. L. Br\u00fcmmer} and \\textit{K. A. Hardie} [``Biframes and bispaces'', Quaest. Math. 6, 13--25 (1983; Zbl 0513.06005)]. Indeed, the corresponding category is dually adjoint to the category of bitopological spaces and bicontinuous maps. This adjunction yields a general bitopological version of Stone duality, encompassing a number of classical Stone-type dualities (namely, those of Stone for Boolean algebras and bounded distributive lattices, those of the two authors for strong proximity lattices with negation and the well-known Ehresmann-B\u00e9nabou duality for ordinary frames).  In the paper under review, the authors investigate d-frames and point-free compactifications of d-frames. They study a bitopological point-free notion of complete regularity and characterise all compactifications of completely regular d-frames by their associated proximities. Further, they show that the category of d-frames has a normal coreflection (a somewhat surprising fact) taking completely regular d-frames to regular normal d-frames, and that the Stone-\u010cech compactification of d-frames factors through it. They end the paper with an adjunction between the category of d-frames and the category of ordinary frames that allows to subsume \\textit{B. Banaschewski}'s compactifications of frames [``Compactification of frames'', Math. Nachr. 149, 105--115 (1990; Zbl 0722.54018)] as well as \\textit{M. B. Smyth}'s stable compactifications [``Stable compactification. I.'', J. Lond. Math. Soc., II. Ser. 45, No. 2, 321--340 (1992; Zbl 0760.54018)] within their compactifications of d-frames as special cases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q554414$55316360-20DD-48D0-8D6B-8D9693FA50CC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b7a94eb553ebb471d21cd9342e2b92f55c9f564","datavalue":{"value":{"entity-type":"item","numeric-id":283254,"id":"Q283254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554414$7DCC2B94-55C5-47FA-A18C-4DA2E5A4C4E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554414$52E8DFA8-3B85-4681-9F38-907873EFFDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554414$B132DCC8-E142-41E5-A103-20143634D91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554414$EAB443B1-3990-4BAB-8AFE-981ED03D2107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50fde6f1b079e2f7199fd9f86bbad38cba037fd5","datavalue":{"value":"54E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554414$7BBD4E6F-E8C4-42CC-B38B-75A6BB84BD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d33fb8a3f05fbf38ac58993e53f5397b9b9bc43","datavalue":{"value":"54E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554414$326FDB34-64C2-4C10-A89A-AB4A775B7A71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"339a616d2bbaa7d41ace0276c08ecb127baf0f39","datavalue":{"value":"5935899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554414$9DE3547B-4BDF-4369-8E6C-145492264CFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q554414$ACE4D6EF-9401-40A7-8B34-02511D4A81A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea90041a2428e1c3dd92667f42d8a74ef4d8ca1","datavalue":{"value":"locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q554414$FE697264-DF21-49D7-967C-CC4DAF20B034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96cf458d1ae0df11e3b9f433853949935d73d831","datavalue":{"value":"d-frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q554414$3FE2368E-BDFF-4745-857D-FD8D614DB052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec9e24d466446edd31522961fa33c39d9b5d9ef","datavalue":{"value":"compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q554414$6DC4287C-42BC-44C4-8D11-C89608657074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0587c74ad67148727ed20179ac88701b2eb2ff","datavalue":{"value":"bitopology","type":"string"},"datatype":"string"},"type":"statement","id":"Q554414$CD8F3E83-A76C-4F1D-A4A0-8AD7B621FBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fef32a00519cc7792f8efc0d8761b4cded115c2","datavalue":{"value":"ideal completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q554414$0EF67BFB-A14A-4456-AB22-A614CCA1C8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"becb3472d66dbb50d099b93fd038d4718f1d6969","datavalue":{"value":"strong inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q554414$B10D7B01-9CDC-4C1F-9ED8-3E72614BF5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb5f0e9e71709dc853e837415045aef8a51c583","datavalue":{"value":"proximity","type":"string"},"datatype":"string"},"type":"statement","id":"Q554414$DC9C1AE8-11A8-4225-B7F7-BC589D315B5A","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":"Q554414$66E796E5-3639-4408-9EB9-7BA0DCD635D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af30d44d46e83e0d23e8a3e33057f8b139bd7899","datavalue":{"value":"https://doi.org/10.1016/j.topol.2011.05.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q554414$88545976-9E3D-41F8-B99B-58375B6EBBD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ab2ab040100209c61607a9f290b1b4b0afc302d","datavalue":{"value":"W2156162038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554414$47AB36ED-C0D3-45BE-A8E3-3053122841B5","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":"Q554414$2E88D437-D7FF-4E5A-9B0D-0CDB3717D54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51195da1f817240cba11d7e85100e845dc948cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3658040,"id":"Q3658040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554414$2B385672-C176-46A2-B9DA-D37A02D1F0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c78f873e1934d7e8d6042fb28b9becef9d53cb","datavalue":{"value":{"entity-type":"item","numeric-id":3209834,"id":"Q3209834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554414$8451D514-F1F9-454B-93D3-54F90E79B6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5074833a3f2c3fd600f59a71cfaf54be204447c6","datavalue":{"value":{"entity-type":"item","numeric-id":3292106,"id":"Q3292106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554414$75B1C0C3-14BF-4251-B549-880E9393459C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e18d01a81ca1323fae785c49050c3af4e829505","datavalue":{"value":{"entity-type":"item","numeric-id":2652756,"id":"Q2652756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554414$9559761F-DE9C-4B14-9713-1E92729E213C","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":"Q554414$9946CFC4-27BE-4EF9-9ECA-8B90986F50E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554414$219B0902-8BE0-4306-9248-46E9F0B408A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d44c117c6081d8ed6fef3de881ec1225f6e77e","datavalue":{"value":{"entity-type":"item","numeric-id":1902986,"id":"Q1902986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554414$4BDA9912-0F83-4FE8-824E-A201176358A4","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":"Q554414$BA53920F-61CD-4210-AE47-2B1088BC8AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3728670c4af7ca2884e08b4c7b79d1fb36dbab","datavalue":{"value":{"entity-type":"item","numeric-id":4024899,"id":"Q4024899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554414$23EC4ACB-17FA-4895-AB4B-D6C65ED6BD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554414$762A7321-726C-4CE3-AFD0-4B8057030294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23884631887fc88408f6964fc07e7d111ece1960","datavalue":{"value":{"entity-type":"item","numeric-id":2367538,"id":"Q2367538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554414$5B86498F-6F62-4358-97B2-D77BEE0BC753","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddb49c8588fed7e5c9ef5bd0d60c25a9af0368e3","datavalue":{"value":"10.1016/J.TOPOL.2011.05.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554414$29A7FA5B-25CA-442D-A43D-6C2691B97B0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc4ddaed3c237ef23dd36c7b31b4da9d5731cdab","datavalue":{"value":{"entity-type":"item","numeric-id":941428,"id":"Q941428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d78656f56f5cac2c3c502e4c1a9b83bd330021","datavalue":{"value":{"amount":"+0.8063992857933044","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":"Q554414$4F02A8B1-D419-495E-9C42-E74ECDB876AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3579c1ae326942743ac8f5ba93a475660720922a","datavalue":{"value":{"entity-type":"item","numeric-id":4981546,"id":"Q4981546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58a8a71e89105659f0434e35397d2a0f4cb5515","datavalue":{"value":{"amount":"+0.7850152254104614","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":"Q554414$8AE1CF10-36FC-4500-9394-E244667E4944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd01398312afff16d98a00302fa210f4444e64a4","datavalue":{"value":{"entity-type":"item","numeric-id":5262937,"id":"Q5262937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441d29e3eb810690855fd289511761e5325a75b4","datavalue":{"value":{"amount":"+0.7727961540222168","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":"Q554414$A1BB0DC2-5BB3-4802-8DC7-15148C4DEE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08affb28df79d035cf10f7eb6d1a62c3e50adbae","datavalue":{"value":{"entity-type":"item","numeric-id":4260236,"id":"Q4260236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"126b3136fbaa262148926a41303c7d8f8f6dd952","datavalue":{"value":{"amount":"+0.7641182541847229","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":"Q554414$AFA247CA-381F-483C-B6D9-45E98BB5A483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a38f023e1624d032eda8b314fdd5f6d84eae47f","datavalue":{"value":{"entity-type":"item","numeric-id":4877664,"id":"Q4877664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78de8641adc1ee1c7d0e86be3ddbcd95e8999008","datavalue":{"value":{"amount":"+0.7621782422065735","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":"Q554414$D1B65DC6-674C-49A7-ABBD-D1CF4779F827","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bitopological point-free approach to compactifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_bitopological_point-free_approach_to_compactifications"}}}}}