{"entities":{"Q1300653":{"pageid":1311403,"ns":120,"title":"Item:Q1300653","lastrevid":68404794,"modified":"2026-04-12T23:28:52Z","type":"item","id":"Q1300653","labels":{"en":{"language":"en","value":"On the monadicity of finitary monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1330826"}},"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":"Q1300653$896DF32C-D1B2-40CA-B824-0984E8D4B90A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07c53c815baf763e172f0b2f9266af0342ebe9dc","datavalue":{"value":{"text":"On the monadicity of finitary monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1300653$AB240FF2-F844-4E4D-9C1A-A0393C612DDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91c422e516935db3e7ae1b49b5f9ec08866f2b4c","datavalue":{"value":"0974.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300653$9D9EA10B-AFA6-4B15-B02C-6A2EB72D3FA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afdb3edb32b411d7b742cbb6d6590081a4fb6cb2","datavalue":{"value":"10.1016/S0022-4049(99)00019-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300653$1DAF88C4-4572-4DEE-BEE9-408F09E5279A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"072eccf7c5410d4251bc74bb0051dfd105c0c4e6","datavalue":{"value":{"entity-type":"item","numeric-id":194948,"id":"Q194948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1300653$7F7005B5-D55E-49CD-AE51-BCDCE6CB42FD","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":"Q1300653$F26E5D8B-E069-49C2-AEAB-AF5DA2C015C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6396f9edc21ea11b0fc814b36947c0853ff01a3","datavalue":{"value":{"time":"+1999-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1300653$33ABC6C4-C0E8-43B6-BBE6-80E01DCDB691","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f7990fc089e527dfa44401e4279b827797095d22","datavalue":{"value":"The main result is that the category of finitary monads on a locally finitely presentable category is monadic over some power of that category. An enriched version is also given. Monads are monoids in an endo-functor category, and monoids are algebras for a suitable operad; the author generalizes his main result to the case of algebras for an operad.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300653$51043084-1782-4D5F-9304-6FCAA9EC40DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300653$9800751C-AA79-4912-B77B-501C2DACE1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9ca7ce31d5d58dbe274220a6e1fb57992f4db59","datavalue":{"value":"18D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300653$A7A86EF4-B93D-4953-916C-C14DE5BD6AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300653$2F648327-8078-41F2-9643-DCD4088984FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300653$1F9CB4EB-6AA6-4BA5-8625-6EAF2BD41784","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e71888be53d9f2eba841a67ce8c6945db6a434ab","datavalue":{"value":"1330826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300653$CE25FCE4-6E1F-4F45-8139-454BE57625AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd3d4397525f668f2d73d33d522c603e57494e4d","datavalue":{"value":"monadicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300653$C9B8A905-E5BA-498C-B30C-7B10F547C38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39727b0c1ea2fe47de73d3ddeab7e3624c8d4b93","datavalue":{"value":"algebras for operad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300653$4C74B07F-BD46-4F3C-86C4-2EC3B4D8553B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b771676a4f05254ebc32a27b74d742b64a26358","datavalue":{"value":"finitary monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300653$6A61A1CD-4482-4BF1-B38E-CE22C118CFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f69a5af2dcbf7a90a170bdb7b28de44c7e2880","datavalue":{"value":"locally finitely presentable category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300653$18D4262E-1397-4820-B742-8187F5327D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8839ec740b9fcae8c9eae52a2f1e2c93b198a3","datavalue":{"value":"endo-functor category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300653$3CA3F0D5-B763-4D10-88AC-082B0EE46825","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":"Q1300653$5BC5EEAD-FCEC-4529-B40F-B7CD3D5943EE","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":"Q1300653$B05846FC-FA8C-48A3-903E-998D9AA1BF6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9c79ef5ea451396274fd857e6e16cf76433efab","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(99)00019-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1300653$C8510116-1C4A-44B3-9154-197DFF11537C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb70085a7d22deadaf42299c9fd810a55cb2c563","datavalue":{"value":"W2090639879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300653$BF992BF0-86BB-40DC-99B3-AF564261D74E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb14fe53a635bb951fca01b75a2cfaf941ed74f7","datavalue":{"value":{"entity-type":"item","numeric-id":1417765,"id":"Q1417765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f19063c2d6f3c74547c62b782e804bdf9f92c8b8","datavalue":{"value":{"amount":"+0.8240662813186646","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":"Q1300653$F96C4B4F-9C34-427D-954A-B7E0F89D3E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a729f2bc2c36e65f0c1a53786cac868c6dd10c1","datavalue":{"value":{"entity-type":"item","numeric-id":5243048,"id":"Q5243048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbde09bb2ac527bec03f6c1753ba309367d41d1d","datavalue":{"value":{"amount":"+0.8189836740493774","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":"Q1300653$E1467CE8-AD1B-4F74-B32D-78DB12597220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b74f0a1ecdac44216ad21f93eb282822581f46a2","datavalue":{"value":{"entity-type":"item","numeric-id":2350311,"id":"Q2350311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a21610683bb546b3e96c2c61cb92b118152212","datavalue":{"value":{"amount":"+0.803832471370697","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":"Q1300653$76700047-E2C8-4A7F-A9C5-39EDF7A1D862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaeee3ebb4af40cb8d379c83efbe992d1f2ab28c","datavalue":{"value":{"entity-type":"item","numeric-id":5068206,"id":"Q5068206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3973a35e3a0e3624a15ead71ba5ffdd6e9a5abea","datavalue":{"value":{"amount":"+0.8034100532531738","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":"Q1300653$1AB106B5-9154-41C8-80E2-54D8862BDF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7839bbe881b3361eebc3f2efd871a757843ea5f","datavalue":{"value":{"entity-type":"item","numeric-id":2451739,"id":"Q2451739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1686a3d1648abe0f8b6a030433013b26364fdd95","datavalue":{"value":{"amount":"+0.7952440977096558","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":"Q1300653$7DDCC6D5-DC1C-4906-8705-AE14667F99A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the monadicity of finitary monads","badges":[]}}}}}