{"entities":{"Q2200477":{"pageid":2211220,"ns":120,"title":"Item:Q2200477","lastrevid":57624024,"modified":"2026-03-31T16:16:15Z","type":"item","id":"Q2200477","labels":{"en":{"language":"en","value":"Lattices do not distribute over powerset"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250031"}},"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":"Q2200477$B8D6AD23-C4B2-47D8-899B-2622417A8D97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a8a13b2d20e69c7110e2ea844317ac48df5ff06","datavalue":{"value":{"text":"Lattices do not distribute over powerset","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200477$DD37C25A-17A4-48FC-934A-DF99610E7A02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26892eb4bdf4b42ff1a0339620649fc3461f19b2","datavalue":{"value":"1467.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200477$B0E6A2F5-3BDA-41AE-B0A4-FB8421D84E4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1555efee1d9d2419b72ad0cfc84dad724867689a","datavalue":{"value":{"entity-type":"item","numeric-id":2200476,"id":"Q2200476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$2C9D77EE-7455-432C-8877-A212BE6069EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$B62A0860-90FA-4F53-9B03-B19CE6077075","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01916a707effd1d89230bb721fc7f1bfff6d69cd","datavalue":{"value":{"time":"+2020-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2200477$8C85727A-5E4B-48DC-AED5-04ABFC43E481","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"95ba776fce0f620495540e851d44129a230ee317","datavalue":{"value":"The article shows that there is no distributive law of the free lattice monad over the powerset monad. The presented method of proof also works for some other classes of lattices.  Let \\(Set\\) be the category of sets and functions. Recall that the monad \\((T, \\eta, \\mu)\\) [\\textit{S. Mac Lane}, Categories for the working mathematician. 2nd ed. New York, NY: Springer (1998; Zbl 0906.18001)] is an endofunctor \\(T\\) together with natural transformations \\(\\eta: \\mathrm{Id}\\to T\\) and \\(\\mu: TT\\to T\\) satisfying the relations: \\(\\mu\\cdot \\eta T= \\mathrm{id}_T= \\mu\\cdot T\\eta\\) and \\(\\mu\\cdot T\\mu= \\mu\\cdot\\mu T\\). Here the symbol ``\\(\\cdot\\)'' denotes the composition of natural transformations. In this paper, monads are considered over \\(Set\\).  The powerset monad \\((\\mathcal{P}, {\\hat\\eta}, {\\hat\\mu})\\) is defined so that \\(\\mathcal{P} X\\) is the set of all subsets of \\(X\\), and the natural transformations is defined by  \\[  {\\hat\\eta}_X(x)= \\{x\\}, ~ {\\hat\\mu}_X(\\Phi)= \\bigcup\\Phi, \\text{ for } x\\in X, \\Phi\\subseteq\\mathcal{P} X.  \\]  A lattice is a set with two associative and commutative binary operations \\(\\wedge\\) and \\(\\vee\\) that satisfy the absorption laws:  \\[  x\\vee(x\\wedge y)=x, ~ x\\wedge (x\\vee y)= x.  \\]  The distributive law of the monad \\((T, \\eta^T, \\mu^T)\\) over the monad \\((S, \\eta^S, \\mu^S)\\) is a natural transformation \\(\\lambda: TS\\to ST\\) satisfying the following conditions from [\\textit{J. Beck}, Lect. Notes Math. 80, 119--140 (1969; Zbl 0186.02902)]: \\[ \\lambda\\cdot T\\eta^S= \\eta^S T, \\ \\lambda\\cdot \\eta^T S= S \\eta^T  \\] \\[ \\lambda\\cdot T\\mu^S= \\mu^S T\\cdot S\\lambda\\cdot \\lambda S, \\ \\lambda\\cdot \\mu^T S= S \\mu^T\\cdot \\lambda T\\cdot T \\lambda.  \\]  The main results:  Theorem 3.1. There is no distributive law of the free lattice monad \\((\\mathcal{L}, \\eta, \\mu)\\) over the powerset monad \\((\\mathcal{P}, {\\hat\\eta}, {\\hat\\mu})\\).  Theorem 3.7. Let \\((T, \\eta^T, \\mu^T)\\) be a monad associated to a lattice variety that contains the two element linear order 2 and let \\((S, \\eta^S, \\mu ^S)\\) any of the following monads: \\begin{itemize} \\item the (nonempty) powerset monad, \\item the (nonempty) finite powerset monad.  \\end{itemize} Then there is no distributive law of $(T, \\eta^T , \\mu^T )$ over $(S, \\eta^S, \\mu^S)$.  From the text: ``Particular cases of the monad \\((T, \\eta^T, \\mu^T)\\) in the previous theorem include: the free (bounded) lattice monad, the free (bounded) distributive lattice monad and the free (bounded) modular lattice monad, among others.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200477$CFB921E2-0044-43C9-9551-E46D1966D868","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f68e06ec506820e62b3210862b300fec91b68b59","datavalue":{"value":"18A23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200477$F6D4C236-3FF4-402F-A572-232D80604E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200477$0E62EDC2-D3D9-4BD3-AE3A-D088475C109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200477$2DA673EE-631D-41DF-A4B8-95BA5FB1595D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200477$D0037AE9-57D8-4933-ADF8-F42FDDAE84E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200477$993E76F8-3387-4C4B-A3A4-AF60432C6979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200477$20A311AA-B2CA-440C-98AD-BDE6D4344F1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"066b1d718a6aa548d8bb9b84b8957aa0c110b9f4","datavalue":{"value":"7250031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200477$20EC0F8C-46E0-4321-930D-265E7449F91F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b681e5e76ee6e412b156689781ac06af17087f42","datavalue":{"value":"distributive laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200477$0D8AE214-F50B-4EFA-8D0E-6631F06AF4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200477$73E6046C-AE8F-4D8E-888E-33DFE7F0820B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200477$8DFE3E49-FF53-47EF-9629-F6051D2EDF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e96553ec3f17f03f794b33c175b855675949117","datavalue":{"value":"complete semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200477$23810622-D059-4915-BB94-A006F29B0114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c31cdfe59a3a4ad17e962d37df5a937a7726ed","datavalue":{"value":"powerset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200477$78680CDB-E04E-46D5-AB6D-85900AB77C25","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"16c26e4ac190a2cc8301d13290ef2f97e240c6b3","datavalue":{"value":{"entity-type":"item","numeric-id":590338,"id":"Q590338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$94F5770D-F8C8-4CE3-B9AF-901F8EEC090E","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":"Q2200477$7A4070D0-D926-4B39-963C-2737CA8B6B66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acbdef8cc8b05ce960ff56167e4802e4175f0498","datavalue":{"value":"https://doi.org/10.1007/s00012-020-00680-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200477$39039BB4-2239-4B24-BDD4-DB27EA284E64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5e1b9b89808b29feadcc2a317c194a6441b7c60","datavalue":{"value":"W3083376852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200477$D4F777DC-CF57-4DD7-9840-F80A1E90B40C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$586CC69D-D26F-46A3-AA28-657B95370D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274f446738a89a0eefc2c3d8124106cc3eb08a31","datavalue":{"value":{"entity-type":"item","numeric-id":4834373,"id":"Q4834373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$38B4DC80-3E67-4125-A4CD-0F998118D509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2581061d5932bbbc735146711b351bc678a3fa4","datavalue":{"value":{"entity-type":"item","numeric-id":3249805,"id":"Q3249805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$087848C9-7822-43D6-B1B0-8B393F8B76A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12a57e83fc10d5805219362cedaa0819335dfde7","datavalue":{"value":{"entity-type":"item","numeric-id":3820659,"id":"Q3820659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$13984EA5-44C6-4432-9B3A-93378E1D4DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4b392a083ae5ce978518afd88a9b7efc82696","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$33756F53-1684-418A-B762-FA4980B8F7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb4c131130624e587de1240ac15c83225c44787","datavalue":{"value":{"entity-type":"item","numeric-id":2134821,"id":"Q2134821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$78579248-839C-48F7-A6FA-3F80378AB775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25439c32c8c851aa59683b8b203347c13af02bb6","datavalue":{"value":{"entity-type":"item","numeric-id":299182,"id":"Q299182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$B68F1D7F-F748-4676-863C-A9405E2E78B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$7B60A5EB-60C9-472C-97B8-59BE3E7931B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b211f7d9b79af80c89593f1677fce650e50849f","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$FFE6062E-CB6D-4FAC-8A80-DCC30785A6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d219c448aa712a35ee812c047663f1dce1c75","datavalue":{"value":{"entity-type":"item","numeric-id":5466795,"id":"Q5466795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$608B099D-B93C-4CAD-9726-40D443BFEBCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02ca6b165c677a9da7387a4dbb9aa19e6955fc7f","datavalue":{"value":"10.1007/S00012-020-00680-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200477$29358FB8-DF51-4DDB-86D2-84288694DF8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a515f3fb0510c38f104217245ac2f2edfa49afb","datavalue":{"value":{"entity-type":"item","numeric-id":3772390,"id":"Q3772390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42b50d44bcd06e7d4001826a56a778ac41cc02b","datavalue":{"value":{"amount":"+0.7412712574005127","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":"Q2200477$F37DD573-3CE8-4F80-A264-49FD11670F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3047353b79e8e384e9f7b265f73edc443c424d42","datavalue":{"value":{"entity-type":"item","numeric-id":4320209,"id":"Q4320209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b014aeddf1a3e8372c8fe7520f07026d2f0c7b92","datavalue":{"value":{"amount":"+0.7117779850959778","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":"Q2200477$65E558FE-F5EF-4875-8B7C-9B31EC6A7260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b62fbc1b2f202c422da74e60cef2d2f48461ce11","datavalue":{"value":{"entity-type":"item","numeric-id":4678306,"id":"Q4678306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0363c89d8481771593b9a974a2b8a3d8a188e8d6","datavalue":{"value":{"amount":"+0.70982825756073","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":"Q2200477$BD627584-A0A3-4583-BB70-783A878D6E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e482eda8be4f29e1f3edf4e4b40b9bbd18061e0","datavalue":{"value":{"entity-type":"item","numeric-id":1062081,"id":"Q1062081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a174a58835d7c48693a743a73b895e11e15c3f5","datavalue":{"value":{"amount":"+0.7021605968475342","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":"Q2200477$6DBF1135-C35F-4A1E-B297-A08DE6E58C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173e3c0af5e04be31f317ce0a1cea6ed77aa31a4","datavalue":{"value":{"entity-type":"item","numeric-id":1842597,"id":"Q1842597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1806fb50aa98fd44e7f2366ccfd21324d4105f","datavalue":{"value":{"amount":"+0.7020895481109619","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":"Q2200477$708157C7-9B52-4BAB-8EBD-BCD751C997E7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200477$8C64FE92-9E29-408D-B172-19C0F6355578","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2200477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2200477"}}}}}