{"entities":{"Q6959608":{"pageid":21260853,"ns":120,"title":"Item:Q6959608","lastrevid":84068201,"modified":"2026-05-09T06:55:37Z","type":"item","id":"Q6959608","labels":{"en":{"language":"en","value":"Enriched Kleisli objects for pseudomonads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8063428"}},"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":"Q6959608$B71878DB-A6C9-4772-AD11-94ADE536AA7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9fab98eb82b0cf0ee015251174b61d2bcabc03b","datavalue":{"value":{"text":"Enriched Kleisli objects for pseudomonads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6959608$0E74D6AD-309E-49D3-8D60-F1EECBE639C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d1e0cdcde77d7617a6ba662e2cf765c3c7107e5","datavalue":{"value":"1573.18055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6959608$94B3DA6B-F535-4EC7-B509-93BF195CC984","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1317ad3a58a5f843743241d6687771070622f23","datavalue":{"value":"10.1007/S10485-025-09810-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6959608$F88BCAF2-D45D-4F59-B777-DB34718DD58F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25df1e84725582ca33bc3fdbafa819bab78f8cee","datavalue":{"value":{"entity-type":"item","numeric-id":6416120,"id":"Q6416120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$E6A09CCA-869D-4012-BD6F-2F000F706528","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":"Q6959608$CBD2173E-C5F8-4D1E-9413-EFE2782F4CDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ae8f73c8fef6620ac917ddaab67a7a777f79b6c","datavalue":{"value":{"time":"+2025-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6959608$B6CAE215-F37D-4139-8D9D-D15E335FE152","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"625249b6ff19c7e5e057abcd233fca39e10b8ee4","datavalue":{"value":"The category of algebras, or Eilenberg-Moore category [\\textit{S. Eilenberg} and \\textit{J. C. Moore}, Ill. J. Math. 9, 381--398 (1965; Zbl 0135.02103)], is a \\(\\boldsymbol{Cat}\\)-enriched weighted limit of the data in the original monad, while the category of maps with generalized outputs, or Kleisli category, is the analogous weighted colimit [\\textit{R. Street}, J. Pure Appl. Algebra 2, 149--168 (1972; Zbl 0241.18003)]. Pseudomonads generalize monads by allowing the usual monad axioms to hold up invertible modifications which are subject to further axioms. A pseudomonad on a 2-category whose underlying endomorphism is a 2-functor can be seen as a diagram\\N\\[\\N\\boldsymbol{Psmnd}\\rightarrow\\boldsymbol{Gray}\\N\\]\\Nfor which weighted limits and colimits can be considered. This paper describes the actual weighted colimit via a presentation, showing that the comparison 2-functor induced by any other pseudoadjunction splitting the original pseudomonad is bi-fully faithful.\\N\\NThe synopsis of the paper goes as follows.\\N\\N\\begin{itemize}\\N\\item[\\S 2] reviews 2-categories of pseudoalgebras for pseudomonads (\\S 2.1) and Kleisli bicategories (\\S 2.2).\\N\\item[\\S 3] derives presentations for Kleisli objects from their universal properties as weighted colimits. \\S 3.1 describes the Kleisli category of a monad via the presentation inherited from its universal property. \\S 3.2 specifies the weight for Kleisli objects. \\S 3.3 gives a presentation for the Kleisli object \\(\\mathcal{A}_{S}\\) of a pseudomonad \\(\\left(\\mathcal{A},S\\right)\\).\\N\\item[\\S 4] investigates canonical comparison 2-functors induced out of Kleisli objects \\(\\mathcal{A}_{S}\\) by pseudoadjunctions splitting \\(\\left(\\mathcal{A},S\\right)\\). \\S 4.1 describes the canonical comparison 2-functor from the Kleisli object \\(\\mathcal{A}_{S}\\)\\ to the Eilenberg-Moore object. \\S 4.2 esatablishes bi-fully faithfulness (Theorem 4.2.1), characterizing when such comparisons are weak equivalences of 2-categories in the sense of [\\textit{S. Lack}, \\(K\\)-Theory 26, No. 2, 171--205 (2002; Zbl 1017.18005)] (Theorem 4.2.2). \\S 4.3 applies these results to simplify the description of 2-cells in \\(\\mathcal{A}_{S}\\) (Corollary 4.3.1) and to show that left pseudoadjoints whose codomain satisfy the \\(\\boldsymbol{Gray}\\)-enriched universal property are not closed under composition (Corollary 4.3.5).\\N\\item[\\S 5] works towards an understanding of Kleisli objects for pseudomonads which only abides by a weaker universal property, using the tools of enrichment over monoidal model categories. \\S 5.1 reviews relevant homotopical notions, including Lack's model structure on 2-\\(\\boldsymbol{Cat}\\) and projective model structures. \\S 5.2 records that \\(\\boldsymbol{Gray}\\)-enriched Kleisli left adjoints are cofibrations in the Lack model structure (Proposition 5.1.4), establishing projective cofibrancy of the weight for Kleisli objects (Corollary 5.2.5). This is used in [\\textit{A. Miranda}, ``Tricategorical universal properties via enriched homotopy theory'', Preprint, \\url{arXiv:2409.01837}] to clarify the relationship between the enriched universal property of \\(\\mathcal{A}_{S}\\) as well as the weaker universal properties of more familiar Kleisli constructions for pseudomonads. \\N\\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6959608$7850D5C0-3FF2-4981-AE76-4CD26AAD61C6","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":"Q6959608$EF340ACF-5578-4314-AD03-7027ADF9B1E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfdcd788db4b65a7f252b1e24cb4909a094a285b","datavalue":{"value":"18N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6959608$518D1FBC-1B54-430E-9A85-D1E58C0FDFF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10ee4a9847220ef14d6f7348b26c96e9f0b83fc5","datavalue":{"value":"8063428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6959608$5718A139-6FDF-44AF-A023-B0B7F8680774","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$F204CA45-9A78-4C75-AD19-08864C623786","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07466b577bdda1fa259d1bf2c0e1cd1c82635d82","datavalue":{"value":"pseudomonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q6959608$FE396182-85C2-4ACD-B395-D2BED25A4859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c0dcd0c9b35b8981fbf81846672cc7675d34bd","datavalue":{"value":"Kleisli constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6959608$78F274FE-B499-4FB2-BF24-FA114FB36F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4562f0fd995d557f4751e6f3c5888fc0f4f4d672","datavalue":{"value":"enriched category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6959608$E32FD820-D43B-4C11-B8FC-62A9D1833D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17e90e5f8acbe67881a5bb5d47d572cfcea2740","datavalue":{"value":"2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6959608$2AA052A5-096A-480E-8376-277BD3F744C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6959608$1870F5EC-7265-4A19-A16A-8FED0B74A323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f7f457ccbcf1f40a5ef0a222302c62951022079","datavalue":{"value":"projective cofibrancy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6959608$29C172B8-B4FB-449B-8F4C-B5FB1F3757BF","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":"Q6959608$A2FE6CDB-0970-4771-AA29-FB0946BE4E46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$A2DF1D90-7CDE-420B-BB92-C092C50A3DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6a28907eb6ad6ff3c9b12b38fe72df27488649","datavalue":{"value":{"entity-type":"item","numeric-id":1109873,"id":"Q1109873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$77F59D26-01F4-4050-8A63-B56D86378B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b377b7f43c6c3d47a860282053c3129d65f39c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1262939,"id":"Q1262939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$A9DAACF3-FB47-4F52-8EEA-719FE9AD4A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$241BEFEB-A326-4E5F-9631-175AA8C1A311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cbf2e63375d8162629d3614765cd1690e9fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":1730856,"id":"Q1730856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$0753324C-67D3-49D9-B092-F42929A7D4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251af6b1f8236abd719ad0f0d1ff9a55496ce911","datavalue":{"value":{"entity-type":"item","numeric-id":276490,"id":"Q276490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$9D553468-A28F-4E50-BAED-3B8D7B722C26","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":"Q6959608$17A5F8AC-676A-4211-82F5-3AFB9BECEC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3774419415aafcded5c522a6003f302e501944","datavalue":{"value":{"entity-type":"item","numeric-id":5048015,"id":"Q5048015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$C3A61EDA-BBE2-4009-AE40-C0E733BA91C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e101f99d8df501799485767820f62bf4e7f7332","datavalue":{"value":{"entity-type":"item","numeric-id":5450620,"id":"Q5450620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$F6BB4552-D577-439E-9D4D-FD7D49CC9501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f486fae49763ccdd17637e50cc42aca1e3950b0","datavalue":{"value":{"entity-type":"item","numeric-id":3514873,"id":"Q3514873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$2E1463CB-0D3B-467E-8F5F-31EDA817109A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6ba009d5ca6c6eefa0b1c2eed703e70c4a32312","datavalue":{"value":{"entity-type":"item","numeric-id":5150014,"id":"Q5150014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$F60B36EC-F394-4E0E-B993-E39C1DDF8478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3991021f8de13b7a707990108ea91f6bd16646","datavalue":{"value":{"entity-type":"item","numeric-id":1844915,"id":"Q1844915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$6E563332-515B-46A4-AC22-20669CDFD137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1659f2cd1d4c4336ff55e1c0272d7388f89cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4914615,"id":"Q4914615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$36939932-4E36-4FE2-966E-71E8B0D17736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3152d8e4b139c56be2c850741e16ba2d6231d","datavalue":{"value":{"entity-type":"item","numeric-id":4220599,"id":"Q4220599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$95930566-F2B4-421E-ACF6-318D4C948F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e02a8d470e047176a3695ce60fd8fd96c196f0","datavalue":{"value":{"entity-type":"item","numeric-id":2253182,"id":"Q2253182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$69FF14CC-2398-48B2-85C3-275E81723CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$675297B3-6541-4F2F-A0B2-EF6918A5489B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a283f6beb98075fee57b6325bcdf6dfd5d181a1","datavalue":{"value":{"entity-type":"item","numeric-id":4679165,"id":"Q4679165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$015C5AC4-1F58-4E59-A11E-9FFEE79FC68D","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":"Q6959608$D0362B7B-7E40-42FB-956D-F0596C11E0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8f04b427550397c14fd1a0b6682478cec17e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1578071,"id":"Q1578071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$8A6A832A-0E03-4A74-8235-5676F061AFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6349013833330b89d25ef93752fa051961a7eee2","datavalue":{"value":{"entity-type":"item","numeric-id":987490,"id":"Q987490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$9EA3C425-C8AF-49B3-9A28-B10415941F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c332bf7c1f1746d0accf1fa78472d0965a0ea22a","datavalue":{"value":{"entity-type":"item","numeric-id":1863006,"id":"Q1863006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$41BB18D5-1128-4A1C-A561-30361B463545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093a527380d3100f4ded96734d3ec824c918d6cd","datavalue":{"value":{"entity-type":"item","numeric-id":847558,"id":"Q847558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$9A9944F2-FC12-4187-A081-7D4A185F4240","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":"Q6959608$DE515A11-C100-4501-8751-EF31F80F7646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35c678b77eafcf8ad549bc498f5e070c8363bc4","datavalue":{"value":{"entity-type":"item","numeric-id":1612173,"id":"Q1612173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$AC1C3DF1-6A46-47B9-8A93-9B40FB59D60B","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":"Q6959608$2512EA97-F71A-4662-BF0A-196AE57869AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fd745f9bcb0a49d34aeb6509962ebd3361dd8c","datavalue":{"value":{"entity-type":"item","numeric-id":4238518,"id":"Q4238518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$4DA39CE9-E535-486F-A3E4-5509B65AB3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d6208f32585cddf02400e0f655fb28bbe95eb","datavalue":{"value":{"entity-type":"item","numeric-id":3433826,"id":"Q3433826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$9CE99D31-7586-4A90-B468-FD94A0A0D295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d09666c05dd1e226a2e2f79a645c0313f14909","datavalue":{"value":{"entity-type":"item","numeric-id":2326316,"id":"Q2326316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$28AF1BAF-1AE1-4909-A362-C9295ED243E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f8adaaa9898db79a28bd0096c4047c7d5f774e","datavalue":{"value":{"entity-type":"item","numeric-id":3977014,"id":"Q3977014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$A3E5355A-FA5B-45CE-85AD-A428618B1482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ae97b483420d175a59bc2a99668ebc187070ca","datavalue":{"value":{"entity-type":"item","numeric-id":3720767,"id":"Q3720767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$4182ADCF-7D53-4E98-843F-E5F29AFA7DEE","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":"Q6959608$02A1A32E-6A6D-4DF6-8A24-1C7B28374636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe495bb2f790c5b3a640dbf864625c57ad83d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1229294,"id":"Q1229294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$128000E7-4E32-4B71-B1A7-816733AAB209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e86fff21192ecd71751e967f7c4c122eecfc041","datavalue":{"value":{"entity-type":"item","numeric-id":2879235,"id":"Q2879235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$43A20CA5-7872-48DE-A27C-3BBB7477AFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178f3df9c026951c12dc9877ba33d7629247acbe","datavalue":{"value":{"entity-type":"item","numeric-id":890142,"id":"Q890142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6959608$78067AE5-E7F9-4CAF-AAB3-BB148136357F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enriched Kleisli objects for pseudomonads","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enriched_Kleisli_objects_for_pseudomonads"}}}}}