{"entities":{"Q986072":{"pageid":987920,"ns":120,"title":"Item:Q986072","lastrevid":65787936,"modified":"2026-04-12T05:22:16Z","type":"item","id":"Q986072","labels":{"en":{"language":"en","value":"The weak theory of monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5768600"}},"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":"Q986072$AB92EE90-988B-4726-903E-8127F1D109B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92442a6f37cdec33b40761847679e14b9b400d6e","datavalue":{"value":{"text":"The weak theory of monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q986072$E537D387-9586-4237-AACA-55C60EBD0A88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b75d622ec7026dcc1b5345deb040a6c005d289f9","datavalue":{"value":"1206.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986072$70C32FC0-189C-4A44-8782-5C6CFD27C4B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$F5F789DD-93B9-481A-AE9C-F66FF6A8C9B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20c19e2e5b7b004140db038732104ace089d52ff","datavalue":{"value":{"time":"+2010-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q986072$C57CC2BA-701C-46E8-BDD6-E2D5C7301DCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e71524f142156b463ce7947215beff295839b2af","datavalue":{"value":"https://arxiv.org/abs/0902.4192","type":"string"},"datatype":"url"},"type":"statement","id":"Q986072$DB07F159-9776-4431-8E17-81FFF12BAD54","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac34089c2f74fa3d8f2ded45efb2b0da5f807d87","datavalue":{"value":"The author and her colleagues [\\textit{G. B\u00f6hm, F. Nill} and \\textit{K. Szlach\u00e1nyi}, ``Weak Hopf algebras. I. Integral theory and \\(C^{\\ast }\\)-structure'', J. Algebra 221, No.~2, 385--438 (1999; Zbl 0949.16037)] developed the notion of weak Hopf algebra which gives, in a more accessible framework, an important class of abstract quantum groupoids: those with a separable ``algebra of objects''. What is weak about these structures is the condition relating the unit with the comultiplication and the condition relating the counit with the multiplication. A bialgebra \\(H\\) gives a comonad \\(H\\otimes -\\) on the category \\({\\mathcal V}ect\\) of vector spaces which lifts to the Eilenberg-Moore category \\({\\mathcal M}od(H) \\) for the monad \\(H\\otimes -\\). The study of lifting of comonads to Eilenberg-Moore categories is well established in category theory: see \\textit{J. Beck} [``Distributive laws'', Lect. Notes Math. 80, 119--140 (1969; Zbl 0186.02902)] and \\textit{\u00c9. Burroni} [``Lois distributives mixtes'', C. R. Acad. Sci., Paris, S\u00e9r. A 276, 897--900 (1973; Zbl 0257.18016)]. The present paper provides a weak theory of monads which includes a notion of weak lifting of comonads to Eilenberg-Moore categories. Indeed, the focus of the study is a weak version \\({\\mathrm{EM}}^{w}( \\mathcal{K}) \\) of the free Eilenberg-Moore completion \\(\\text{EM}( \\mathcal{K}) \\) of a 2-category \\(\\mathcal{K}\\). As well as weak bialgebras, weak and partial entwining structures are shown to arise in this setting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q986072$E7E10FF2-7DBB-4A70-B6F7-251DCF8C96F8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c0c032067868ff55a80ca4512a724b32d77651f1","datavalue":{"value":{"entity-type":"item","numeric-id":590398,"id":"Q590398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$BAF0C65D-A1F9-4576-935B-84B7CC775BE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986072$9E7A5E2E-3A46-41AB-A3C8-B0B20D19B00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986072$25427DE2-28E8-49AD-B8BC-8D5D51FBFFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53d071063b62487079c8c332e83195c29f656591","datavalue":{"value":"20G42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986072$D01CB073-D0E2-4334-A86B-2F92FB288747","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13ce8520fd6e1c98d2fbda0e8ccbf0308a14cb39","datavalue":{"value":"5768600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986072$C96EDF43-C7C1-4693-965F-5AADCE49FA19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f450ed1d930ab0e03177e9c7678e94ef9770c84f","datavalue":{"value":"2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q986072$54B3036D-4390-489D-AFCA-36E5BA55A308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9efb57da29d0fed32ea86f118b9a7611edcc00ec","datavalue":{"value":"weak bialgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q986072$E966DE13-F0FC-40EA-88DF-A4D0CEB456FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q986072$336E7F75-F4F4-4EFE-B8A0-151B4852AD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fd38e5a7a070ee4e9bfba047227a6fed10ee1f6","datavalue":{"value":"entwining operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q986072$5922AFCB-9342-49D4-9763-72DC8F337BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e25827eddd6e7d6d09b73d16b7717a4dece62e","datavalue":{"value":"weak lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q986072$49E80501-7CF9-4941-91F0-C6BB2EE8A0AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2067ef0f6b82b7a4d582fc83da8f5f00b5703ff2","datavalue":{"value":{"entity-type":"item","numeric-id":161581,"id":"Q161581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$1DB790DA-8460-4DF9-AE2B-C670A759AAC7","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":"Q986072$21D00FDE-9B50-47CF-AAFD-CEE124AA04C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7aa04621c17279005bf0c390df8ead9a609febf","datavalue":{"value":"W2034853716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986072$2CC45727-7B1E-4864-90DD-1EE15F537571","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$2F1FE830-9680-4731-8A05-ACA3A7F505C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8b1485a436aef4f9dac427e4ce6c4fddf27511","datavalue":{"value":{"entity-type":"item","numeric-id":3755593,"id":"Q3755593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$0DFFE515-B53D-49DE-9727-6F8954D77C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4456808d85477c11d1934171f46720f4c861d25","datavalue":{"value":{"entity-type":"item","numeric-id":4515482,"id":"Q4515482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$9ABBA812-023B-43FB-B163-FB313A74B185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03b06935007131ac98f99f835a4ca8d41c501ee","datavalue":{"value":{"entity-type":"item","numeric-id":843762,"id":"Q843762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$3C33C531-29C2-4EE1-9236-3DCF0C3091F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf3c62e6d18b02b3e7bc32ebc45b6208f7bba364","datavalue":{"value":{"entity-type":"item","numeric-id":1965250,"id":"Q1965250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$4A8B3341-D380-4BEC-A129-02401FF2BFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4471065ee75b12ac22c3779d1bceac70e7188eb4","datavalue":{"value":{"entity-type":"item","numeric-id":4361020,"id":"Q4361020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$4E2CBFDD-FB3F-48DB-A6E6-EF283DAEC9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1801f2b7d6de0d70b0fab1396cc4a9b4155f67","datavalue":{"value":{"entity-type":"item","numeric-id":1850945,"id":"Q1850945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$9266A9AB-1ABC-418E-AC81-6FEEDEA12D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3de8b87e64e00bc777493cf8c025349c562e72","datavalue":{"value":{"entity-type":"item","numeric-id":2708907,"id":"Q2708907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$1EA27EF6-6998-4C1F-A12F-22692573A23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139f80c48a87b0f27db5928c6d674f4361f4fda0","datavalue":{"value":{"entity-type":"item","numeric-id":3525194,"id":"Q3525194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$053DEEE5-A4D3-4C7B-BDCA-E60FB50516CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652f7d51cc0754777125b20d8d0586e7ae8119fd","datavalue":{"value":{"entity-type":"item","numeric-id":3717232,"id":"Q3717232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$630E94D4-2AE8-4B73-8DE6-C3B2461AB432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b8c577e6de73982dc6b946768e19ecad798057b","datavalue":{"value":{"entity-type":"item","numeric-id":734812,"id":"Q734812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$8AEE8F97-A0CD-45FB-B271-D6612EC90E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7150a7f2b6640cfb4b2a84cddd88a2f86203f6","datavalue":{"value":{"entity-type":"item","numeric-id":863176,"id":"Q863176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$064A1A75-D216-4FB5-8E82-D6538EE62421","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":"Q986072$D6E6C432-BE7A-4EAD-8FFE-C8936EC54E70","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":"Q986072$2F8F399D-A3F3-472C-A316-59221D017723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90085dbe273edb3ca478a8ab8409461b528e817b","datavalue":{"value":{"entity-type":"item","numeric-id":1603819,"id":"Q1603819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$45E78C35-7CC7-4BDB-A51D-8142C19488FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c2d5897da6b127fee3053cc066ab5b722c45061","datavalue":{"value":{"entity-type":"item","numeric-id":3395193,"id":"Q3395193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$CF3F66A8-0DB0-4164-A24B-0AF62AB38518","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":"Q986072$90D06BAF-8770-4C01-A770-684E7E3B7656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c77bd10de2b0b1aa40ab7900c0b195ff38e7ad","datavalue":{"value":{"entity-type":"item","numeric-id":5548319,"id":"Q5548319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$DACE5501-3427-48A2-9CEC-23CF0140750B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89fda554923668d475aebc820b402adce08026df","datavalue":{"value":{"entity-type":"item","numeric-id":2426119,"id":"Q2426119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986072$EE2C929B-3301-45C8-BD83-B42013C9B801","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"881d77bb07d49e42304c26d486b7a5a85f76f5a7","datavalue":{"value":"10.1016/J.AIM.2010.02.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986072$A92A1435-9E93-4EAF-BBB4-9AFA89708CDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46a2ac25be8233d0a64c74f67c2493a0a69d5a3a","datavalue":{"value":{"entity-type":"item","numeric-id":536159,"id":"Q536159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc57713509ef972f747072d9da57895d3de6e14c","datavalue":{"value":{"amount":"+0.8466631770133972","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":"Q986072$C3D18255-2E4B-4668-A1CD-A527170908D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3902d2516647be72aa34b628bd261a301e29bbc","datavalue":{"value":{"entity-type":"item","numeric-id":3225594,"id":"Q3225594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d712e32824c0ff469ce789a0b679b40c67254ff","datavalue":{"value":{"amount":"+0.8190866112709045","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":"Q986072$3B40ECE2-E3B1-4A2F-8E09-755BBA56D6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30596a91db46e83b2c1962df3a6a3bbbe1f615d0","datavalue":{"value":{"entity-type":"item","numeric-id":1743022,"id":"Q1743022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045ba9442291ed3251a1aa8d899dc78cc2c28511","datavalue":{"value":{"amount":"+0.811089277267456","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":"Q986072$847444F6-19F2-43A0-9A69-6C7648342364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0dc9e206ddd6959701d1f3e923920c6de6ca1c9","datavalue":{"value":{"entity-type":"item","numeric-id":3225595,"id":"Q3225595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca3e6f3dda0af4e6eecf4218c5eee5701087fae","datavalue":{"value":{"amount":"+0.809759795665741","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":"Q986072$1F2E2966-0BB5-4D8E-9575-95F6458ADB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ab7f8bce023d0074b2040c352f8e213839dc49","datavalue":{"value":{"entity-type":"item","numeric-id":2401708,"id":"Q2401708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74886070e92942755abc7511841f5ce5ee4e0aea","datavalue":{"value":{"amount":"+0.8091006278991699","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":"Q986072$CF372952-DE6D-47A4-A1A7-ED199A6FE6B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The weak theory of monads","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_weak_theory_of_monads"}}}}}