{"entities":{"Q1398461":{"pageid":1409201,"ns":120,"title":"Item:Q1398461","lastrevid":70331463,"modified":"2026-04-13T14:03:29Z","type":"item","id":"Q1398461","labels":{"en":{"language":"en","value":"An equational notion of lifting monad"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956187"}},"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":"Q1398461$11580474-12EE-410A-8F21-9D0CFB418DA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a6bc72da81be5e0116faac698dd779e052d445f","datavalue":{"value":{"text":"An equational notion of lifting monad","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398461$0EE0FDC6-5B3F-44D8-8141-ED223B7282AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc6d3e564265fc42bc027e1154293ffaa9e25811","datavalue":{"value":"1022.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398461$EC525221-78BE-4659-815E-BBCD4558EF89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cac666dde47cf5b603794320857da787960a3802","datavalue":{"value":"10.1016/S0304-3975(01)00243-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398461$CA04B2F3-96F9-4AF1-B5F0-F644311134DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0a50a9bade4a4e8dfdfd1b904676b3e3ec3ca56","datavalue":{"value":{"entity-type":"item","numeric-id":1295498,"id":"Q1295498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$F2EE1AC3-557C-4ACF-8013-4721F590AF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b7ef1733c276d7b71a41a1ae09428b7b77bf220","datavalue":{"value":{"entity-type":"item","numeric-id":1398460,"id":"Q1398460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$7FD388FD-19DF-4FF3-900C-6BB472779637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$A4B250E3-1407-4B68-ABB2-69D037182EE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$FD92F383-5019-44B6-8CD5-37093B380F57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93fa1c465ad8bc2fa283bb0b87b8516d9e8f76","datavalue":{"value":{"time":"+2003-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398461$4F5BD496-F6E3-40F8-8DE8-68C1E36DB054","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"028f056f132e935265662665bc11ce3d00f10f8c","datavalue":{"value":"The underlying idea of the categorical approach to denotational semantics is to make a denotational distinction between the operational notions of value and computation by modeling them in two separate categories, namely, the category of values and the category of computations, which is obtained as the Kleisli category of a strong monad on the category of values. This paper identifies the properties a strong monad must possess in order for its Kleisli category to behave like an induced category of partial maps. The authors introduce the notion of an equational lifting monad, which is a commutative strong monad satisfying one additional equation (valid for monads arising from partial map classifiers). The main result of the paper is that any equational lifting monad has a representation by a partial map classifier such that the Kleisli category of the former fully embeds in the partial category of the latter.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398461$C7B853C5-FB44-4B39-9CBB-4EBFD4DC3613","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":"Q1398461$22853FBE-E791-4556-A073-77CE1929F540","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398461$7921A2DF-2516-405E-A93B-73DC23B9F638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398461$CF15DD65-89D2-442F-891E-33305F969449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398461$EE5C2220-8236-44FD-93BD-2ECE9FD98FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398461$00BC1643-A4BA-4679-8C2B-BDB556160DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398461$D3BBFE9B-B78A-49E3-BD60-AA2473C75BAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a1bd88ba49625effee02e0619d4a5be7eb628e2","datavalue":{"value":"1956187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398461$88B543E9-EBCE-41B2-AEA1-FDE64ED17211","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e487303f92928de62e2822f5b09d428f540b981a","datavalue":{"value":"commutative strong monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398461$78F6C4F0-ECBD-4B0C-8B6C-4B17B44A0DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"528e895ece6c2899de3b7cead6e25aac3d758822","datavalue":{"value":"partial categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398461$F2D871ED-4892-4E08-A15A-4FAEEDFC4E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226cd9e1b621bacb78ebb5a7c3f5e125cb40e328","datavalue":{"value":"abstract Kleisli categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398461$D964844D-2D53-4524-BA54-27F646BE8029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac73f30d907047dc1bca822ed03ba8cc5c7a8dd7","datavalue":{"value":"premonoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398461$B62CB37E-6118-4F9E-BA78-3B2B46A9211F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f24521dd62d6a5dbae66745fb00126d55ce3923","datavalue":{"value":"partiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398461$EAC3CB0E-98A4-453B-85C9-F57C415CF040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76b413927f208600a84a1367df7c34a5dfaa5999","datavalue":{"value":"categorical approach to denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398461$222E6F53-4986-4AE3-8E4C-E671A4F8DA04","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":"Q1398461$93BA01C8-FF68-4072-8A6F-179088D0D276","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$8ADD86E0-4A1B-44A0-A07D-AF9E8E103C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd04d969c418aa9cf82982951db0dfad593b17ce","datavalue":{"value":{"entity-type":"item","numeric-id":5958307,"id":"Q5958307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$F7B1C567-EBDC-49A9-947A-5CBE1D541376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30b8960949e22d89199b69c7dfa16333a87952b","datavalue":{"value":{"entity-type":"item","numeric-id":1398462,"id":"Q1398462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$DD871E07-3D6B-4DDA-8BB6-B341300ED771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76913034917490b2ec30b4dfb06c340d4e086f06","datavalue":{"value":{"entity-type":"item","numeric-id":4396180,"id":"Q4396180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$F0738CDA-3359-473F-8B0A-B239A41CA17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe258aca9d701a17778a2826193bb7d0179c4234","datavalue":{"value":{"entity-type":"item","numeric-id":4261086,"id":"Q4261086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$5AAE316D-F67E-483A-9C7C-4EF267E2DE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6847b6230dd7a27075d197b8daec7a7f5de2e850","datavalue":{"value":{"entity-type":"item","numeric-id":1337357,"id":"Q1337357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$B2EB08ED-AD0B-411B-A2FB-69313F607C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$178813EB-9BBE-4BF5-BED3-F8DEDE64B2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$75395AA8-6CD8-4318-B89E-FBE7FB363203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97beec64225e48f32a96d21447b86e8b4764e8c","datavalue":{"value":{"entity-type":"item","numeric-id":1109126,"id":"Q1109126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$896B8EF4-C75A-48A0-B9E5-B1047C720832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$E982BB07-C25A-447B-AC64-121B347D617D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$98E10112-8BCC-4811-A3F7-D3383CA52F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e2ff5d4943e38d73207e7174bfebcd9fc5e22","datavalue":{"value":{"entity-type":"item","numeric-id":1167158,"id":"Q1167158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$B8EFD534-920D-448D-9B5A-DF94BF3AF22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0691e21ed553f2a4405e920d999bdfdf70ebe7","datavalue":{"value":{"entity-type":"item","numeric-id":1109871,"id":"Q1109871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$78DE5E90-5461-4722-9D2E-6F098A8A2DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9d623cd7ee4cf1f62fd548e24deeb532e455c2","datavalue":{"value":{"entity-type":"item","numeric-id":4525542,"id":"Q4525542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$AA1F1DC3-0A72-42C9-B0A8-683353E11711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398461$331A3250-0BAC-4CE2-A0B3-06A6CD5F05E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6726c7c705b7518bcdd8c5d3c258ec7765420c8","datavalue":{"value":{"entity-type":"item","numeric-id":4499236,"id":"Q4499236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650fd878fecccc3a29386dca3df88ae002baade0","datavalue":{"value":{"amount":"+0.9873996376991272","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":"Q1398461$C11E8D5E-897E-4D21-88ED-E8DE28014233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60e7cf6457f4813c40de80542ed4f5b369313bb","datavalue":{"value":{"entity-type":"item","numeric-id":4362974,"id":"Q4362974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6216cb7f1b0c5b7be2e2349b978bb77af9ab2316","datavalue":{"value":{"amount":"+0.766264796257019","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":"Q1398461$18BAA05A-AAF9-4803-83D2-478782DAE288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868a4ee3fa5d289471bda7c3f9f12e86f26e2a17","datavalue":{"value":{"entity-type":"item","numeric-id":5275349,"id":"Q5275349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6216cb7f1b0c5b7be2e2349b978bb77af9ab2316","datavalue":{"value":{"amount":"+0.766264796257019","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":"Q1398461$35BA1EE9-05FA-4CFE-AE7F-DCDD66762570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17049bebf5ee2652a62dfe86caaaeb75fa45c336","datavalue":{"value":{"entity-type":"item","numeric-id":5890054,"id":"Q5890054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176e0b2d54bdee4f31d32d8ed8b7148cd1ffdfaa","datavalue":{"value":{"amount":"+0.7584199905395508","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":"Q1398461$73F2CA2A-572C-4792-B44F-F7C8BD231C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de1ad081aa85dd712408e4d612f4d90b4fb7160","datavalue":{"value":{"entity-type":"item","numeric-id":5056003,"id":"Q5056003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e970c989ca0929f7832d110c58594364a49e45","datavalue":{"value":{"amount":"+0.7423627376556396","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":"Q1398461$7598BB82-04DA-4964-BAB2-4525D260F283","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An equational notion of lifting monad","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_equational_notion_of_lifting_monad"}}}}}