{"entities":{"Q538059":{"pageid":539826,"ns":120,"title":"Item:Q538059","lastrevid":62588085,"modified":"2026-04-11T07:06:41Z","type":"item","id":"Q538059","labels":{"en":{"language":"en","value":"Internal Kleisli categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5899121"}},"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":"Q538059$013CDD57-FD6F-495F-8DEB-91A8453BB993","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65db39101a64c48a10eeac08658ff53054d79a1d","datavalue":{"value":{"text":"Internal Kleisli categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q538059$66B60010-E0DF-4E41-A277-9A2281A8AFA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d327532f18d1cbef027235b9e60a02ae3a89304a","datavalue":{"value":"1232.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538059$36F68D66-5017-425D-BC29-119BDEC0B055","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c08f4c476b27a834271c1ca844cb55725b26121","datavalue":{"value":{"entity-type":"item","numeric-id":196458,"id":"Q196458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$166C8776-FA1A-45C3-8D25-E70B0DFF3218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1335eff14cc62e7f76a42201a0f23dbdc2dcc24f","datavalue":{"value":{"entity-type":"item","numeric-id":538058,"id":"Q538058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$151D1073-AC20-40A2-B8E3-C7052416460E","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":"Q538059$20177CFA-B1DD-46EA-915A-C710B794E40B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"987c10c6ecaaa604cff66f7d8ee6e24b6dd4dc1e","datavalue":{"value":{"time":"+2011-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q538059$704B81FE-C533-4146-AEFC-BE9F7CC56287","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abcd9d18d115150e118e956c4f5d3db20b7629e1","datavalue":{"value":"https://arxiv.org/abs/0911.4048","type":"string"},"datatype":"url"},"type":"statement","id":"Q538059$9ABDD1EC-7859-47D6-8FF3-E3F2C5856512","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da7249d42804a064afc12b4bce5dbeefaa1b6a93","datavalue":{"value":"Internal categories within monoidal categories, as defined by \\textit{M. Aguiar} in his Ph.D. Thesis (Cornell University, 1997), build a \\(2\\)-category in two different ways: one based on internal functors and natural transformations, the other on internal cofunctors and natural cotransformations. Thus, internal monads, opmonads and comonads can be defined in this framework, following [\\textit{R. Street}, J. Pure Appl. Algebra 2, 149--168 (1972; Zbl 0241.18003)] and [\\textit{S. Lack} and \\textit{R. Street}, J. Pure Appl. Algebra 175, No. 1--3, 243--265 (2002; Zbl 1019.18002)].  The present paper studies monads and adjunctions among internal categories and proves the existence of Kleisli objects for any such monad [\\textit{G. M. Kelly} and \\textit{R. Street}, Category Sem., Proc., Sydney 1972/1973, Lect. Notes Math. 420, 75--103 (1974; Zbl 0334.18016)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q538059$27DCFCEA-70BF-428B-AF06-5047CEB20038","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bcb8653efadcb522e1672f8100115f964e87d7f2","datavalue":{"value":{"entity-type":"item","numeric-id":534533,"id":"Q534533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$AE1ECBF6-4C4A-4B54-9C42-A23F84DA924F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538059$D527D0DE-E713-44AE-85C5-9944AD732DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1faed641e69c18bb675d0686a9afa79c982b85e9","datavalue":{"value":"16T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538059$6182BB3A-A4A2-4AB4-8A40-085873B8E225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538059$F155C1D3-1F78-454D-8952-2049089CDE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538059$E28294BD-AA5A-468C-A578-AB1D95977516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ce48ff475794b58f4e387ac1290849c4103d152","datavalue":{"value":"5899121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538059$3A3B91EB-1FCC-4FD5-8F75-2C291775D839","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17e90e5f8acbe67881a5bb5d47d572cfcea2740","datavalue":{"value":"2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q538059$5C6505AF-B4DD-4C5B-999A-EBCEA9D51627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1043f4dbc762ff47e33be985b1a89a19fce1735b","datavalue":{"value":"internal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q538059$5B32E7EA-176E-4C9B-AC8A-2867431EF2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f786bc3288f65ff46cff69b89d0042340f16a363","datavalue":{"value":"Kleisli object","type":"string"},"datatype":"string"},"type":"statement","id":"Q538059$BB340E88-1D3F-4BFB-AE29-D34DCA56B5A2","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":"Q538059$C37755CF-36E7-4443-A5C1-C883A8E35B0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf5329cd810de40e3c7327327c1aa883f3f2a75d","datavalue":{"value":"W2019910459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538059$5E73F321-BFA7-4AA6-B81F-D5C02F66C46F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e2468c1b31d1648233f0e90a37385ee8d465cb9","datavalue":{"value":{"entity-type":"item","numeric-id":5293141,"id":"Q5293141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$3B213667-E25B-4A8E-99D3-206F4B6B7936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1058c6fb11b3c575ac781889a29c8272d3fe76f1","datavalue":{"value":{"entity-type":"item","numeric-id":4431279,"id":"Q4431279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$0AE74701-3513-4CF1-8CA8-273D65E949CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81ff662d761ea982708c8b52b948075ab2830fa","datavalue":{"value":{"entity-type":"item","numeric-id":1121960,"id":"Q1121960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$890472E5-DA3A-4DF8-BA4E-BD1678B55FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfebed2dfd055b7c0ce0c9700bf4142282266dbc","datavalue":{"value":{"entity-type":"item","numeric-id":2520849,"id":"Q2520849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$2B2133E7-B6DA-4710-B4CD-378699D0A591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef3cf5c25428c1af4d48b6c8053f5373498e50c7","datavalue":{"value":{"entity-type":"item","numeric-id":5305537,"id":"Q5305537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$EC9A7B81-9F76-43C4-B760-C58F927FE8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$3C2F28C4-DC2E-4B6A-AD62-160841199B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bbc2004c97d7cdb78bdc3c701291fe2fff79cd","datavalue":{"value":{"entity-type":"item","numeric-id":1850104,"id":"Q1850104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$4BA09DA2-5843-4AE7-A030-2A621BDC8CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30814e2f442579ff55311f0c79e92936b4e9199d","datavalue":{"value":{"entity-type":"item","numeric-id":3368182,"id":"Q3368182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$0A769DB6-DD21-4BBF-A4F0-5CDEA38BFC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342c0970ad18ff6a53e6a7e95eda1438c66a3df5","datavalue":{"value":{"entity-type":"item","numeric-id":4464696,"id":"Q4464696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$441C0A7F-D565-486C-8B17-EAA8E07154EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052492139b9a592e01e567ec5045783b2c20e517","datavalue":{"value":{"entity-type":"item","numeric-id":690040,"id":"Q690040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$4DB0DE75-190E-4DDE-8181-B18A56C5E7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba663c2c2cb164dc8e54335206bb7c9d52e52f5","datavalue":{"value":{"entity-type":"item","numeric-id":4668180,"id":"Q4668180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$20778A19-3799-436C-88DF-E3D47F1D648D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00158c521d8a36a573f8b649d9fc3dc28130c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1173846,"id":"Q1173846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$B6D86D40-2F57-49EF-AE60-F6C37022567F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$33B7544C-39A0-4662-8586-D93A5C4E55FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3450809cd081a12d01d1cd759a2265732dcd259a","datavalue":{"value":{"entity-type":"item","numeric-id":3950699,"id":"Q3950699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q538059$71700057-EA94-437E-8CD5-3573A965170E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eab2d2fdc923b4fe2264add4fb21332b9b1008a3","datavalue":{"value":"10.1016/J.JPAA.2010.12.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q538059$C644209F-E37D-41F1-815D-8425193CEE5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df060f5363adafebf35d857d13f86745adc3cd3","datavalue":{"value":{"entity-type":"item","numeric-id":4391148,"id":"Q4391148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58386f30c1ad78c60240a0ad3bfb5f29147ce7b6","datavalue":{"value":{"amount":"+0.794825553894043","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":"Q538059$52165CEF-197A-4108-835D-10A42ED0BD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1517a5409ca18837517f9a156b67e78bbd20da8c","datavalue":{"value":{"entity-type":"item","numeric-id":531324,"id":"Q531324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bdf1065d2d8a79a43aa26529ca0a449eb48d6fd","datavalue":{"value":{"amount":"+0.7593197822570801","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":"Q538059$0BD69C25-573E-435D-9F2B-22042D50E3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2932a4bf9796a1b6482a787771feaddd7a005d6f","datavalue":{"value":{"entity-type":"item","numeric-id":3012624,"id":"Q3012624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0052f14c4de638b914bf4a3efd2704c8be52867b","datavalue":{"value":{"amount":"+0.744863748550415","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":"Q538059$206E8B16-35C5-412A-B134-1EF0D8903AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c62bdd8be69ddd77b280f3fcca9b0740e1fba333","datavalue":{"value":{"entity-type":"item","numeric-id":5378555,"id":"Q5378555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c795811cf83da259d0aefcbddbeb3591324f7be","datavalue":{"value":{"amount":"+0.7426804900169373","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":"Q538059$DE84D26E-CD23-48A8-BF11-F4F80A569687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f58663475d8b3d891b80496e542c655f1184aba","datavalue":{"value":{"entity-type":"item","numeric-id":456867,"id":"Q456867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f98409f1127949f5c48b1158ea5a04d710ca183","datavalue":{"value":{"amount":"+0.7412173748016357","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":"Q538059$BD204A67-1349-47BC-86E1-72D7D09064A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Internal Kleisli categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Internal_Kleisli_categories"}}}}}