{"entities":{"Q788817":{"pageid":790665,"ns":120,"title":"Item:Q788817","lastrevid":64350366,"modified":"2026-04-11T19:16:24Z","type":"item","id":"Q788817","labels":{"en":{"language":"en","value":"Partially monadic functors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3843973"}},"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":"Q788817$D1076EB5-A3AB-4EEA-B5D3-9D13FD6EF0C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a215e2017c1bbdc5e242cc1f51684f2cd3a4cd8","datavalue":{"value":{"text":"Partially monadic functors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q788817$8212710E-C873-4399-A7E5-54A8C930B18C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f40238b1dfe4911f92e475909c810fd3f3cf013","datavalue":{"value":"0532.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788817$730FC75F-C01C-4068-BF9A-7AA4695A432A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"960686f4166d301f65a467576d66f9fe731b14b1","datavalue":{"value":"10.1016/0022-4049(84)90095-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788817$5F646122-20D3-4C4E-8B58-2915C52294EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6519b97446fb3efa6820e23955c851f2259c7d","datavalue":{"value":{"entity-type":"item","numeric-id":685397,"id":"Q685397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788817$7EB6F332-EE53-4C12-BD1F-350145CCF3FC","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":"Q788817$D83C0DD5-F1AC-43E7-89B5-618374EA3AE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q788817$F8DAC119-B7CE-471F-93FE-16930CCE37AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19c9ac6d475eec7091d4914d57baf0db0e1dcc4c","datavalue":{"value":"The notion of ''partially multiadjoint functor'' is an extension of the notion of ''right adjoint functor'': if \\(U: {\\mathcal A}\\to {\\mathcal B}\\) is a functor and B is an object of \\({\\mathcal B}\\), instead of looking for one universal morphism from B to U in the case of adjoint, or for a universal family of morphisms from B to U in the case of multiadjoint, the author looks for a ''universal ordered family'' of morphisms from B to U, such that any morphism from B to U factors through a greatest morphism of the family. The auther extends the notions of monads, monads generated by functors, algebras for monads, monadic functors, Beck criterium, Kleisli categories, representations by functor categories, by using partially multiadjoint functors instead of adjoint functors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q788817$433B6ED0-27A3-4587-AB62-7B82E8B232A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788817$D4853366-C82B-4CDE-A2E4-763A9A4EDF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788817$77100B55-FC25-4F57-AE92-E12A91570585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788817$1F411457-2008-436F-9EE4-BBC378162710","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"398d172f330eff0503abce50e4536ab3e307cb82","datavalue":{"value":"3843973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788817$D592D81F-2685-4AF8-A521-7E5E81D81E8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55b9c7968de1c2260e186ee69b216d4964dea664","datavalue":{"value":"partially monadic functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q788817$A6F3979E-E130-412F-A966-A9EED9F91C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a50a517a12e26eeadaacc0c14bc0bd79d7b2c","datavalue":{"value":"multimonadic functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q788817$FE5777AF-B46D-4FE2-9DD1-A94B3058DAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2141c2af542496de0a82cc344f7d7615583bd8","datavalue":{"value":"algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q788817$E863F4CE-4DDA-4B01-AC4E-CAE76130E46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q788817$3B96ED05-2A1E-454D-ADE8-C554DCE34396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f70147edf193f7474ed7feb8a8e0a24b0d38f388","datavalue":{"value":"partial monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q788817$E655BB60-3A22-44B1-87BD-C74F9955CC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a2d5827cd131a61bcf16534f2772a9020266437","datavalue":{"value":"partial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q788817$B477A3FF-1EF8-4A6C-8B4F-626B5D3C1B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e492a636feaab2d18578029da3dd0eb8dcc102c","datavalue":{"value":"partially multiadjoint functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q788817$3EB84921-DBBC-4A9F-B09D-9CD9F435D4D5","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":"Q788817$C61EC601-3F03-41F6-9BB7-75C7AD13C20A","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":"Q788817$0FCD4AE9-D3BA-4D31-AFDD-60AF2F64567F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e83ef4ed047991b841fc98498236482d0f6cf26","datavalue":{"value":"https://doi.org/10.1016/0022-4049(84)90095-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q788817$F3C4A04E-D281-4A2F-A6B2-84931AC9E3A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b325f020752666fda0f1528b13bf3f220ae6f988","datavalue":{"value":"W2043406152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788817$D216894B-70C9-4969-B72E-762A316C99CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2947aa9ef4c36ad247960bfb289d4cb37d513dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5966504,"id":"Q5966504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788817$ED4B6087-3C1D-4D15-B062-596DC15A4374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788817$C0F3EE31-B1DE-436F-9FDA-38013EF5EC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180ef3e6188c2327140304e3cfecd387b0746da3","datavalue":{"value":{"entity-type":"item","numeric-id":5586462,"id":"Q5586462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788817$E4A34CE2-845E-4C7B-88B4-18887B4CE192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7199ea4160deeaa9f4f25425343bd55a7285c6","datavalue":{"value":{"entity-type":"item","numeric-id":3671351,"id":"Q3671351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788817$7E044F37-EDE6-4720-A458-4C3FB9251E94","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":"Q788817$D58F6169-29E8-4D7F-8B75-746CE7CF1DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6735a1318046aa360fe031bb239406376c6a5a24","datavalue":{"value":{"entity-type":"item","numeric-id":3663502,"id":"Q3663502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788817$0027FAF8-2B1F-4FE8-9EA0-6FC71B7D87C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c167d86da991deb3b84bf3df5e92f5d0e8b01113","datavalue":{"value":{"entity-type":"item","numeric-id":5666704,"id":"Q5666704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788817$C750C9B6-3D28-4B52-8BA6-D1C322A47835","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed012824ac84b2aa240be722af101d42625c1641","datavalue":{"value":{"entity-type":"item","numeric-id":3514312,"id":"Q3514312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1cc4624197b82604e9c898d02bf4c6366a7b63e","datavalue":{"value":{"amount":"+0.8002563118934631","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":"Q788817$B657DF8D-41D7-465D-AC84-A87111824AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c30f9c5f4c78c71ee05861fbd558ecfad100c854","datavalue":{"value":{"entity-type":"item","numeric-id":3807402,"id":"Q3807402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba1fdca6bc8587f720bdef5f2db4404871f4512","datavalue":{"value":{"amount":"+0.7960777878761292","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":"Q788817$8734C698-DDC4-4259-B595-BDAC71ECBF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf128117b1acc711700273d1f28d9a8be30d18c","datavalue":{"value":{"entity-type":"item","numeric-id":3739187,"id":"Q3739187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ef920d2a357b5e100061418a6837fad6dda9e1","datavalue":{"value":{"amount":"+0.7563861608505249","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":"Q788817$1DBFE017-8198-4906-A461-663E1C24D200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679646a93057c8d0f6f634d0cba9ebe9c5bdb475","datavalue":{"value":{"entity-type":"item","numeric-id":4824443,"id":"Q4824443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a100b3492d78c30dbb31d0d4a6a471c5b2a16d75","datavalue":{"value":{"amount":"+0.748337984085083","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":"Q788817$0977CF7E-22DF-4C5D-8002-32DF75E92C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143478f856699147c06bc7d7ab4902b223e80283","datavalue":{"value":{"entity-type":"item","numeric-id":5476505,"id":"Q5476505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6722031649248c30bef18d14641f257998c4d03","datavalue":{"value":{"amount":"+0.7470762133598328","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":"Q788817$9D63C95D-A1B7-485C-B0C5-112AD832582B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partially monadic functors","badges":[]}}}}}