{"entities":{"Q890021":{"pageid":891869,"ns":120,"title":"Item:Q890021","lastrevid":65148513,"modified":"2026-04-12T00:38:31Z","type":"item","id":"Q890021","labels":{"en":{"language":"en","value":"Effect algebras are the Eilenberg-Moore category for the Kalmbach monad."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506241"}},"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":"Q890021$A82C4131-8AFF-4455-9CCE-7C400C2F5AAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64bd174e69a98cebdb309a9c30b46bef1edbd6b2","datavalue":{"value":{"text":"Effect algebras are the Eilenberg-Moore category for the Kalmbach monad.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890021$FCC7AACE-B0F9-4E58-9769-82FDAE0DC4D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79fdc1406b45b44a62546966ad88012d384d77e2","datavalue":{"value":"1333.06018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890021$7C3BE528-B87A-428E-A454-951641B271AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2af571558542de51a643cf1fbd6a262a0929bdc3","datavalue":{"value":{"entity-type":"item","numeric-id":682628,"id":"Q682628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890021$CDAF3FC3-AB5B-4068-B0BF-0A5B557B830A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890021$8BB418DD-D54A-4779-8136-F747734B4548","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bd4ccddbb81defc05e602592f8c5989241cffff","datavalue":{"value":{"time":"+2015-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890021$8EABBB19-5D8B-4419-9333-804CDA041361","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f70fef161ed214d18055a1daee659602e79c8f2","datavalue":{"value":"https://arxiv.org/abs/1404.6263","type":"string"},"datatype":"url"},"type":"statement","id":"Q890021$2B561BEA-7B45-4045-9FFC-DD4EFAEA26B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e5e8a78704fb60d25e70781495f068ee25f021e4","datavalue":{"value":"In 1977, Kalmbach proved that every bounded lattice can be embedded into an orthomodular lattice. A similar construction has been used to embed a bounded poset into an orthomodular poset. \\textit{J. Harding} showed [in Int. J. Theor. Phys. 43, No. 10, 2149-2168 (2004; Zbl 1073.06002)] that Kalmbach's construction provides the left adjoint to the forgetful functor from the category \\(\\mathbf{OMP}\\) of orthomodular posets to that of bounded posets; this adjunction in a standard way gives rise to a monad on \\(\\mathbf{OMP}\\), which the author calls the Kalmbach monad. On the other hand, every monad on a category gives rise to its category of Eilenberg-Moore algebras. The main theorem of the paper states that the Eilenberg-Moore category for the Kalmbach monad is isomorphic to the category of effect algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q890021$1E2965D7-BDD5-4649-8C26-C2D2C024EEF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890021$0C1B69CF-CF6A-4487-8B2A-2F13DEBD4D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890021$CE9856EF-E45F-4617-B667-FE77B00D572B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890021$79AAC361-52B4-43D3-93D5-39FF057816B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d734c4a841a15f0129c4f0e77c81af9a6464df1","datavalue":{"value":"6506241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890021$D9BD9CD1-BE8B-4665-8259-FF7B2FC4DD6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74adfb2f90ec36bb907d7839eae54c7b3fbdc7a8","datavalue":{"value":"effect algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q890021$084A41CF-9C6C-4D50-82DA-C67BD27495DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20b191a67da05da870ca1de060e69d9cc83dbc2f","datavalue":{"value":"Kalmbach extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q890021$0482EAFF-D349-41B2-83D3-33E60B03BBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cc12ab2f4e4ebbb020af9c491936199a20ed1e1","datavalue":{"value":"orthomodular posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q890021$6B2900F5-5A38-4E24-BE8E-F622059A487D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q890021$E9A07CE6-C1BE-40FE-A6D5-35892BC94953","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890021$904F046D-634C-4B25-8A02-AF8CDAAB988F","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":"Q890021$55C51818-D6FE-4C44-A5D8-B660ED587AAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"554a11c835db0558dbf4b3017198f22c81c597b1","datavalue":{"value":"W3100402548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890021$691D003A-779A-4971-977C-DC62E07F9CDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe8a6414565de4b925309387d853c97cd4c176f","datavalue":{"value":{"entity-type":"item","numeric-id":541810,"id":"Q541810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890021$972AED62-F425-4390-BC80-D83F48864225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a623dd804653a457a8bea0240a5c11f2ae0bf89f","datavalue":{"value":{"entity-type":"item","numeric-id":4281887,"id":"Q4281887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890021$443C4100-7220-4014-AAF3-E7F7C98B6562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a1ba7f4ad7b348b5b46ee59f58790863771c75","datavalue":{"value":{"entity-type":"item","numeric-id":1771587,"id":"Q1771587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890021$F8CD0ED2-4EC3-49FA-8D18-430F3198C490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54035e1bd00ba693aca6525be562127a595a0a1","datavalue":{"value":{"entity-type":"item","numeric-id":1237789,"id":"Q1237789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890021$DE563BE7-EBAC-4C92-ABC4-CAED1A236C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fcdb5e30e526dc39a1320017bd25aa11991d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4291523,"id":"Q4291523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890021$9693E001-6DFC-41E2-881D-810F2F9D9920","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":"Q890021$2F0ABAED-E991-4F57-8570-78E1BBD1D39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ba53b74e0d87b2aa660be376deaf102eada855","datavalue":{"value":{"entity-type":"item","numeric-id":4373719,"id":"Q4373719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890021$2A48C0D3-382E-41A0-ACA8-08BE08744296","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d967439d28586a0101ba0851f7e1182ff8c2ace1","datavalue":{"value":"10.1007/S11083-014-9344-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890021$7F725A04-45F7-4A49-BA66-2968B55E5022","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8d9950f5ea5c7cc7822573fe68a10f91b74d91","datavalue":{"value":{"entity-type":"item","numeric-id":5420462,"id":"Q5420462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"415407ccee5822154d2aa23e0e254b7dad79ed57","datavalue":{"value":{"amount":"+0.7471438646316528","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":"Q890021$C19BD970-3EF8-4615-98C1-A528F0650079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c3faee5661cae935d32c5e1c57a548dba41dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2710254,"id":"Q2710254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe2f331fde05f018b1b075eab35019741adbb518","datavalue":{"value":{"amount":"+0.7434567213058472","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":"Q890021$B3F44877-5F14-4564-9083-32A88E5113E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eaad53314a57ba6a4c17281d4cf0905e1c0d49f","datavalue":{"value":{"entity-type":"item","numeric-id":2402068,"id":"Q2402068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c3fc27c632752f66e6cfe6497856f3fb5fe1dd","datavalue":{"value":{"amount":"+0.736005961894989","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":"Q890021$C899B1CD-AA91-4BE5-ADBF-A99C0EF6B107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd8705da206ab83e54e9f838b482362b9fdf34f","datavalue":{"value":{"entity-type":"item","numeric-id":1789060,"id":"Q1789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eda873e50a910fc30f4a6318227578eb6e8ed8d","datavalue":{"value":{"amount":"+0.7346212267875671","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":"Q890021$1E521763-D1B8-42EA-AB16-53F0F50D3651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8226db57b5327c28896b7a9af4fc3424e174ea48","datavalue":{"value":{"entity-type":"item","numeric-id":1586466,"id":"Q1586466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56fbe92cff05ac9eaaa22840020035486fb6806","datavalue":{"value":{"amount":"+0.7342253923416138","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":"Q890021$3F818B15-37FB-44A4-9F5C-8276903A6F99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effect algebras are the Eilenberg-Moore category for the Kalmbach monad.","badges":[]}}}}}