{"entities":{"Q1811033":{"pageid":1821775,"ns":120,"title":"Item:Q1811033","lastrevid":69020562,"modified":"2026-04-13T03:46:54Z","type":"item","id":"Q1811033","labels":{"en":{"language":"en","value":"Algebraic operations and generic effects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1925062"}},"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":"Q1811033$84D79742-72EF-41D9-B5FC-22AA1FB0638C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a4ab4bd9cf41b902ae9a0084962750aeca0d1a4","datavalue":{"value":{"text":"Algebraic operations and generic effects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1811033$6654E646-1B36-4C3C-837F-22E0EE20C520","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75ce4af806e74e3b679b89e9d9d7e3902d7c6878","datavalue":{"value":"1023.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811033$98A72F0A-8211-4C3C-AA0C-DEDE7D09F3D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8e84ed827faf022c8fc723e28096f4c1a9cbbd2","datavalue":{"value":"10.1023/A:1023064908962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811033$5070EC1F-351A-41AD-A153-7C0984B755C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1811033$DEFEBAA1-4230-485B-B363-5B8A69CBFF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1811033$EDD5F885-D109-4410-8820-3668F8998A6C","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":"Q1811033$1D897955-CD07-4EE7-96A7-A10EFE0FD878","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2d0e39c696776e04b9e53093e3633112a8f4686","datavalue":{"value":{"time":"+2003-06-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":"Q1811033$DD3C0AEC-8162-454C-8AA1-0D8D2114E524","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8dfc99b61d164a279e0fdd77e986b95386541204","datavalue":{"value":"\\textit{E. Moggi} [in: Proc. LICS '89, IEEE Press, 14-23 and Inf. Comput. 93, 55-92 (1991; Zbl 0723.68073)] introduced the idea of giving a unified category-theoretic semantics for computational effects, modeling each of them in the Kleisli category of an appropriate strong monad on a base category with finite products. However, the calculus of Moggi's semantics models does not contain operations, the constructs that actually create the effects. In order to model constructive operations that arise in describing computational effects, the authors consider, given a complete and cocomplete symmetric monoidal closed category \\({\\mathcal V}\\) and a symmetric monoidal \\({\\mathcal V}\\)-category \\({\\mathcal C}\\) with cotensors and a strong \\({\\mathcal V}\\)-monad \\(\\mathbb{T}\\) on \\({\\mathcal C}\\), axioms under which an Ob \\({\\mathcal C}\\)-indexed family of operations of the form \\(\\alpha_x: (\\mathbb{T} x)^v\\to(\\mathbb{T} x)^w\\) provides semantics for algebraic operations on the computational \\(\\lambda\\)-calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811033$7B8F9A40-85A6-4DEE-9259-9249D7E1F5FD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1811033$5E82502D-EA6F-4AD0-AB3D-E1F3B6765E91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811033$4CAC8592-7C7E-4FD1-AE4A-25269177B829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811033$CE628FB6-9F95-4F92-8609-9525FBAA7747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811033$0D2FBEEB-AE11-4184-B228-0606B32063A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d35d480e6594d8d9d4c5ac71286fef64ff75070","datavalue":{"value":"1925062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811033$E5014103-4354-44E9-9785-9333D5327004","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85e2ae7c42c479dab4bd0819a964d648eb99349","datavalue":{"value":"algebraic operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811033$282B4E73-A750-48A6-9EA2-8CE996AB94EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be680ef861f7de0dc826755160d6ce7dc83e3540","datavalue":{"value":"computational effect","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811033$67267308-0123-4F89-95E6-AF3164257065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19cc64979cfc2aadbaa844676a29d200f8dbf743","datavalue":{"value":"Lawvere theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811033$4D2D5EB8-91A2-44B6-BBCB-51B1FE17EC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811033$31A08430-DBB7-4C34-9535-93EF4095D83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86aed143a2c33678a3801d630c6ed8b2733a8476","datavalue":{"value":"category-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811033$88EC7569-9380-4B6B-B737-71DB42BE8966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811033$AC7FF8F5-2A2B-42FC-B0BD-4C9C3A7EED03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a32b598e930e7f8c583f15f18be1bca81bfe1891","datavalue":{"value":"strong monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811033$415857F2-66F1-4383-A2C8-9D3085AA4C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22b36d1e2dd591e5b54c5daa0b2204f2ca6d54a3","datavalue":{"value":"Moggi's semantics models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811033$12711502-7EA5-49E5-A1C8-E6BACB783C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7c087e924e3d20a6661a0d151cbb7e5a8cb8e7","datavalue":{"value":"computational \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811033$AFFCD50F-6DC8-4359-B23E-0EBA50CF31A2","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":"Q1811033$0251C243-3675-41D5-BD14-84959D5C0235","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4008df79ca00f53459bfcbcde4c5a8ae21d72444","datavalue":{"value":"https://doi.org/10.1023/a:1023064908962","type":"string"},"datatype":"url"},"type":"statement","id":"Q1811033$615984CF-5836-4080-A802-B4E1DD483C16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa14d173e64a904603e0cd01493651046fa2229c","datavalue":{"value":"W1606211906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811033$1C2E5700-9B4C-432B-894F-8D75E441F599","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfa9f7f82cf57d39babf914126acbb938721a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4917064,"id":"Q4917064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b46e18a1141d174cd50a18f37a60aa1c4844be18","datavalue":{"value":{"amount":"+0.8750056028366089","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":"Q1811033$EA46B642-076D-4716-AB92-CCDA7D4EED2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b913f165a8fefe78a91adfa4e1c74ea7c146ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0115d8f35d68f38d99009dfb7f368f89ff792fee","datavalue":{"value":{"amount":"+0.8100497722625732","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":"Q1811033$109B889B-4E77-49A9-957A-8DC62BC68804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b9f405f87517a77edc8c5f2f27df14114a21e8","datavalue":{"value":{"entity-type":"item","numeric-id":5739352,"id":"Q5739352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ef8617850d3ca1d94be9434893dea4d6bab415","datavalue":{"value":{"amount":"+0.8020383715629578","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":"Q1811033$4BC717AE-E2AD-4CA4-B8A2-2DABB61BBDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"304df31d044fe1754ec78bfbf40fa64c670446b2","datavalue":{"value":{"entity-type":"item","numeric-id":2851544,"id":"Q2851544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ae32bd9deed8c25dd2e3cc62045e8767149d42","datavalue":{"value":{"amount":"+0.7959336042404175","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":"Q1811033$785B446B-0130-4CCE-B899-7EF9764A7428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706d8f20f1abe25ae154926ec520b5287f4d7ef9","datavalue":{"value":{"entity-type":"item","numeric-id":860841,"id":"Q860841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae7aeb34215bb3f32093e04511cb2aad11629c1","datavalue":{"value":{"amount":"+0.7911179065704346","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":"Q1811033$F9989878-BBEC-4A4A-A18A-6F9CAFC8C57C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic operations and generic effects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_operations_and_generic_effects"}}}}}