{"entities":{"Q1818642":{"pageid":1829384,"ns":120,"title":"Item:Q1818642","lastrevid":73026996,"modified":"2026-04-14T09:28:47Z","type":"item","id":"Q1818642","labels":{"en":{"language":"en","value":"Groupoidal completely distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1384157"}},"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":"Q1818642$A66DF098-8CF9-4397-B172-F6F98DAC2102","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05d3b9e45f126e5e5bacc87d5f42c56956bf99e2","datavalue":{"value":{"text":"Groupoidal completely distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818642$144FFEFB-006E-4D55-966D-8A167DF56682","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be13fe5fe9f18930edd90b7856c95ca2316e5fa0","datavalue":{"value":"0936.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818642$C5C9C121-FF3E-4716-865B-99CAF9AF562D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c5577605dbb493d11a68340e4fc87d76847f5f7","datavalue":{"value":"10.1016/S0022-4049(98)00119-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818642$92BBBD1B-9AD9-49D0-83A7-ADDE775DE126","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818642$848C6738-4999-46EB-839C-6EA9843DA3BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818642$75353B98-8686-4316-BD1E-BFBC0F38863B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b45badacdf195d066b770e2f5edfdcc6faaa5c05","datavalue":{"value":{"time":"+2000-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818642$9AE3420D-CBB2-491C-97CE-7F6F7B7CE8DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1ee53ab8dfb4cba97e9b51a2469463fe4db6e504","datavalue":{"value":"The recently published and refined proof that \\textbf{top}\\(^{op}\\) is a quasi-variety [\\textit{M.~Barr} and \\textit{M.~C.~Pedicchio}, Cah. Topologie G\u00e9om. Diff\u00e9r. Cat\u00e9goriques 36, No. 1, 3-10 (1995; Zbl 0819.18002), and Appl. Categ. Struct. 4, No. 1, 81-85 (1996; Zbl 0879.18008); \\textit{J.~Ad\u00e1mek} and \\textit{M.~C.~Pedicchio}, Cah. Topologie G\u00e9om.\\ Diff\u00e9r.\\ Cat\u00e9goriques 38, No. 3, 217-226 (1997; Zbl 0882.18003)] is based on constructing a variety using the non-full inclusion of the category \\textbf{caba} of complete atomic boolean algebras into the category \\textbf{frm} of frames. Replacing the latter by the category \\textbf{cd} of completely distributive lattices (with morphisms that preserve all infima and suprema) yields a proof that \\textbf{ord}\\(^{op}\\) is a quasi-variety. In order to transfer this result to the constructive setting of an elementary topos \\(\\mathcal S\\), \\textbf{cd} needs to be replaced by the category \\textbf{ccd}\\(\\mathcal S\\) of constructive completely distributive (CCD) lattices relative to \\(\\mathcal S\\). These were introduced by the second author together with \\textit{B. Fawcett} [Math. Proc. Camb. Philos. Soc. 107, No. 1, 81-89 (1990; Zbl 0694.06008)] and then studied in great detail together with \\textit{R.~Rosebrugh} [Math. Proc. Camb. Philos. Soc. 110, No. 2, 245-249 (1991; Zbl 0743.06009); Can. Math. Bull. 35, No. 4, 537-547 (1992; Zbl 0760.06005); and Appl. Categ. Struct. 2, No. 2, 119-144 (1994; Zbl 0804.06013)]. This program raises various interesting questions concerning CCD lattices, in particular how to characterize power object lattices in CCD terms. These turn out to be groupoidal in the sense of \\textit{A. Carboni} and \\textit{R. F. C. Walters} [J. Pure Appl. Algebra 49, 11-32 (1987; Zbl 0637.18003)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818642$09F57A1B-18A8-4CB3-A442-CEEF3B6D2C86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818642$576EDE18-BBDF-405C-9542-F2E804B48A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08ff37085da1bb248e1e5dc7e77aec603b6cf16a","datavalue":{"value":"06D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818642$38AC4863-49CB-40AF-8C98-79AA191080FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818642$D710C823-6287-4709-9E0B-E6F426D7C128","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7821da04a1b0003ccd142fa5085b973c336904b5","datavalue":{"value":"1384157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818642$38F4F1E2-6D97-421A-978A-C2C4BB795723","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818642$4709A8B6-BEA6-4E31-89C0-2AFD39200D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a8e51f4d9801c128054944bad82901bd7ad261","datavalue":{"value":"elementary topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818642$36B8A2BA-7D63-4A34-B212-5B0F5BE693F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1972f88284cde9bd95f4f49838df007da39f3ab9","datavalue":{"value":"category of constructive completely distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818642$AC6D6E30-C95D-4359-AED6-2FB298966A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bf08bb731bb6d54746ad8b3d925edc2e5fa1ef7","datavalue":{"value":"power object lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818642$EF010E98-40EA-4145-9CAB-56570E987031","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8de95ec82acc344b9b397e962636896e8ffb712","datavalue":{"value":{"entity-type":"item","numeric-id":173924,"id":"Q173924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818642$67334607-8D47-4EE4-9F9F-2AC84020BC91","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":"Q1818642$CD731590-EB79-467F-A708-D18BEEA9EA3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4b7be214c7817176bbb680fc5c366fca612d125","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(98)00119-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1818642$A25C19C3-B8E8-4C39-A30B-25C4352BD3C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f502d43e0e3b3da58c7fb64f49ca21df3427ad13","datavalue":{"value":"W2080387624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818642$A3344C24-57AB-4CC5-805F-1543B9DA7298","rank":"normal"}],"P1643":[{"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":"2d44ffb3942525f2f3b44f7eb871d1a7503da592","datavalue":{"value":{"amount":"+0.7989469170570374","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":"Q1818642$9C092A5A-DFFD-44E2-B635-C5EA869D48CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56ad41739801a0f9482c10a24cda52ecc9a455f4","datavalue":{"value":{"entity-type":"item","numeric-id":3982353,"id":"Q3982353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d44ffb3942525f2f3b44f7eb871d1a7503da592","datavalue":{"value":{"amount":"+0.7989469170570374","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":"Q1818642$A58E055D-A9B1-4D0B-9C5A-5D2FC09D92DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5ec85143fd47b68ea8dad1db6176deaa0e6cff","datavalue":{"value":{"entity-type":"item","numeric-id":3429455,"id":"Q3429455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052ce4ac0c6c093fcb50889d60788531b599246e","datavalue":{"value":{"amount":"+0.7851091623306274","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":"Q1818642$06751740-F76C-432C-8AB2-5271160B5993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c364f91d603c3f1b2c48e1f0fd156d53c12d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4024833,"id":"Q4024833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96ce0105eb740351ebee167cd8bc10f9fea9169","datavalue":{"value":{"amount":"+0.7777565121650696","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":"Q1818642$D2E9C060-5F6B-4A2E-ABE7-4DC6BC0D93C4","rank":"normal"},{"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":"d96ce0105eb740351ebee167cd8bc10f9fea9169","datavalue":{"value":{"amount":"+0.7777565121650696","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":"Q1818642$1B4876D7-F9C0-40EF-8615-C80C79966E60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Groupoidal completely distributive lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Groupoidal_completely_distributive_lattices"}}}}}