{"entities":{"Q915849":{"pageid":917697,"ns":120,"title":"Item:Q915849","lastrevid":65351988,"modified":"2026-04-12T01:59:41Z","type":"item","id":"Q915849","labels":{"en":{"language":"en","value":"Adjoint monads and an isomorphism of the Kleisli categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4152662"}},"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":"Q915849$CEACD4F9-2730-424B-B807-139834B9852B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a86464c04139944ca27d8c02535368bacdeecf0","datavalue":{"value":{"text":"Adjoint monads and an isomorphism of the Kleisli categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915849$AE5CF00D-0A58-4A85-85E9-6A6D1717AB32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d132bb366771e884b219f4c4f197dc0cc4ab9f7","datavalue":{"value":"0703.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915849$A4C66123-E086-4212-BBE8-C426B8B92A7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"415f8cee726c5ed6b97ae1549f94b1eb8f60ec43","datavalue":{"value":"10.1016/0021-8693(90)90069-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915849$A498FB6D-CA43-4436-BED4-C041BB783BDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915849$C303CF05-9FE5-42DD-AA00-F41F66D532F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q915849$752D6BD4-69FC-4B89-9B30-441CFB6C100D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"204009a431382543a60646c3aaf7210076bff3ce","datavalue":{"value":"Let \\({\\mathbb{U}}\\) be a category, \\({\\mathbb{F}}\\) a monad on \\({\\mathbb{U}}\\) and \\({\\mathbb{G}}\\) a comonad on \\({\\mathbb{U}}\\). If \\({\\mathbb{F}}\\) is right adjoint to \\({\\mathbb{G}}\\), then the Kleisli category \\({\\mathbb{U}}_{{\\mathbb{F}}}\\) of \\({\\mathbb{F}}\\) is isomorphic to the Kleisli category \\({\\mathbb{U}}_{{\\mathbb{G}}}\\) of \\({\\mathbb{G}}\\), or, alternatively, the category \\({\\mathbb{U}}_ 0^{{\\mathbb{F}}}\\) of free F-algebras is equivalent to the category \\({\\mathbb{U}}_ 0^{{\\mathbb{G}}}\\) of cofree \\({\\mathbb{G}}\\)-coalgebras. This result is illustrated by an example where \\({\\mathbb{U}}\\) is a category of modules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q915849$9C2637FC-D20E-4393-ABC5-2A29BD3F146A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915849$D28248B2-5CAE-4138-89FA-CD23CD7FE0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915849$BE476AD0-0F39-4D57-A9BF-650928BD3321","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"225ca9b2e4a96dd571350ceb783f30fca65f0b6f","datavalue":{"value":"4152662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915849$6C2DB875-6305-43D1-AD92-FBEF9A6EEE2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q915849$63636F0A-7E61-44B8-A40D-A0FE33EDEAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4545a2e593e1545a3991d553bbc49cdf7df90d","datavalue":{"value":"comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q915849$7C8CD413-E2BB-4BE4-B180-487D1CBC8592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q915849$6F41BF75-9EBB-4137-9BDF-EAC24B81419E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c4947813462e9dfa347092a25f33a7601c750ef","datavalue":{"value":"category of modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q915849$21891F90-0D98-452D-A386-035BFBD95309","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0879f9b47c0754f6c6319e28de2d55cb816ff992","datavalue":{"value":{"entity-type":"item","numeric-id":1233033,"id":"Q1233033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915849$0C522BBF-E7B3-4179-A6C8-904362DF0E1D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5f23a2b26154ae1e4026bd6fa194d4b76df2fa47","datavalue":{"value":{"entity-type":"item","numeric-id":171472,"id":"Q171472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915849$BC30AB0C-6F7A-4696-941E-422735074802","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":"Q915849$75F9CCFA-E025-4B2B-A116-C51FB8176F09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1f8dfe7aed3f17e59550b4648e62033cc9c410","datavalue":{"value":{"entity-type":"item","numeric-id":1150674,"id":"Q1150674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915849$F64CBEFC-F37E-47EA-BC78-7E9060ADEFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bef5463acb36f01532f18632462016425b6ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1814051,"id":"Q1814051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915849$AA0CD50A-8F39-4F85-B504-D5F089FE457B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422bf46c61a5d59b476eebfbf8465a995918426c","datavalue":{"value":{"entity-type":"item","numeric-id":3809958,"id":"Q3809958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915849$4CCBF213-85B1-4923-AD6B-35E75DEE7C98","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":"Q915849$C315D44C-15ED-4F5B-9F98-C8F5BC789DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47d2fee262f33e393f2f9f1f4a0ff74eb2ecb53","datavalue":{"value":{"entity-type":"item","numeric-id":5512211,"id":"Q5512211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915849$17D1E6A8-D13A-485F-A3F5-EE897A36325F","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":"Q915849$09586C4D-024B-489A-BECD-A6F8928EF010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1f9236593bb3407b6d0c0131d155a2cbefeb3d","datavalue":{"value":{"entity-type":"item","numeric-id":4078189,"id":"Q4078189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915849$58E3B98A-D3AE-443C-BA13-08B15DDA0BBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ffedae0f131fb66a8a1af82a5561a4d8e65cdc3","datavalue":{"value":"https://doi.org/10.1016/0021-8693(90)90069-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q915849$239ACD32-8689-4BCB-8357-5FF0CC9540E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1920cd98737c4cc307d1d373de1208c6eaee686","datavalue":{"value":"W1992155573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915849$BAE54F54-926D-4D35-8D58-750AB402545B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b93aa3c5d44b95221213eb242e39d4ff069e35","datavalue":{"value":{"entity-type":"item","numeric-id":3315681,"id":"Q3315681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03f66a0d1adce3d9fa0e6cfad742bffe3b398cd","datavalue":{"value":{"amount":"+0.8023233413696289","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":"Q915849$9D9D72CF-4190-4DFE-B275-8364AECD52A4","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":"4b7e7868f500e7a7f277afdf81e7c209cb13bb15","datavalue":{"value":{"amount":"+0.7761646509170532","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":"Q915849$AAAC15DB-70A2-4D79-95D8-A5DE2F9EF458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee30700683d934fd251e2f000ece9f096721269a","datavalue":{"value":{"entity-type":"item","numeric-id":3324129,"id":"Q3324129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7aac1a9b1563da17b389f2148604c9627a88c66","datavalue":{"value":{"amount":"+0.765838623046875","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":"Q915849$3E4D97CA-EAD9-480D-A2B4-36627129F46D","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":"e141f4748693e06fd0606a9623f65309fc5c3ac2","datavalue":{"value":{"amount":"+0.7638468146324158","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":"Q915849$DCE5CC15-0FED-417A-8EA0-9AA5CE8AEE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2400ac1a8d994aa13b9dc86798729aa95cbcfcf","datavalue":{"value":{"entity-type":"item","numeric-id":2959303,"id":"Q2959303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af00a559f09c6f247ea0ca4eb6eb164809bbc214","datavalue":{"value":{"amount":"+0.7629459500312805","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":"Q915849$33720DDD-C291-4DC8-87AD-BAFF526A7183","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adjoint monads and an isomorphism of the Kleisli categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Adjoint_monads_and_an_isomorphism_of_the_Kleisli_categories"}}}}}