{"entities":{"Q2350311":{"pageid":2361054,"ns":120,"title":"Item:Q2350311","lastrevid":57866652,"modified":"2026-04-02T21:05:21Z","type":"item","id":"Q2350311","labels":{"en":{"language":"en","value":"Monads of regular theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6447443"}},"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":"Q2350311$8C133937-4817-4531-81BB-E8993D476AFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0abb57580a1a88acbd8d5ba3702ec5ac32d3f074","datavalue":{"value":{"text":"Monads of regular theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2350311$04E47757-0A7B-45D7-AA44-D1C9B4E8F723","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39d02eb69bf5553629191c771f1ee9e0a33f9b49","datavalue":{"value":"1316.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350311$433C8333-0E4A-43A4-952B-FCF68F7E4B66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52bf529de2f4cb25b2c2d30771ab1b8e73cd687","datavalue":{"value":{"entity-type":"item","numeric-id":2350310,"id":"Q2350310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$C44AB91C-9852-4DBF-82E9-7E075DAC5F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc31f7372c2291af6dcc50b5a56a72bcaee2213","datavalue":{"value":{"entity-type":"item","numeric-id":1319365,"id":"Q1319365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$B5153FCE-FCDA-4AF4-9EE8-1D67C6160408","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":"Q2350311$22729B66-23D1-4595-AACE-7299D57C67A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d5cd06f458db584fbf91afba7a3985037fff4b1","datavalue":{"value":{"time":"+2015-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2350311$B7124AD1-40FD-4166-BD14-BC008C531FA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c1243b1a315cbeee820f162f85d8a88de16b5a0","datavalue":{"value":"https://arxiv.org/abs/1207.0121","type":"string"},"datatype":"url"},"type":"statement","id":"Q2350311$E767CB03-8917-4D0A-AA40-46363B5AF7A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3cbc3f71421f2aab10ae5a2c889f84690590c4b8","datavalue":{"value":"A category of algebras of a finitary equational theory, a category of models of Lawvere theory, a category of algebras of a finitary monad on the category \\(Set\\), a category of algebras of a generalized operad have equivalent descriptions, in fact the category of finitary equational theories, the category of Lawvere theories, the category of finitary monads on \\(Set\\), the category of generalized operads are equivalent. These equivalences induce a correspondence between various subcategories. E.g. it is proved that the category of regular finitary equational theories, the category of regular Lawvere theories, the category of semi-analytic monads and the category of regular operads are equivalent. It is also proved that the category of all finitary monads on \\(Set\\) is monadic over the category of semi-analytic functors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350311$52B984B7-1742-4EA5-9349-7E44D1E16231","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350311$450496E2-DBE4-41EE-A2AE-6767A5CC979E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350311$07991361-F16B-40CD-AEEF-B04C44444EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350311$57391E01-16C6-47BE-BF5A-1C0E06BD11D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350311$86049046-59AA-47EE-A92D-CB4CA7241DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9ca7ce31d5d58dbe274220a6e1fb57992f4db59","datavalue":{"value":"18D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350311$627F2B0F-18B0-42E3-B080-D5B63A7C2446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350311$BC49D1ED-EA5B-4A6C-B2F3-9870608C7B67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65dfcdc9f6e33a5bec744de6c2de69d4c8c76d6d","datavalue":{"value":"6447443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350311$9395B422-A103-4004-84F2-E047F3814A3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6192abafc7358030654305fec1d64aa7f3f91fc","datavalue":{"value":"operad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350311$C1F7B06E-762A-4340-BD16-8DB52D8C97E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350311$9DC2B4FB-38FA-48C5-A797-5FCFDB33C546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19cc64979cfc2aadbaa844676a29d200f8dbf743","datavalue":{"value":"Lawvere theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350311$85E93274-8F99-4343-83B8-1D9825D99626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350311$F70B66E0-4ADC-4311-BA1C-42F836383250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b638cd247bc623b682e351c8c97efd0006f0830f","datavalue":{"value":"factorization system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350311$BBE5D148-91B8-406C-8138-C163EC866974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74201a07185bc50d351afc9ff709dbf7fb28925f","datavalue":{"value":"pullback","type":"string"},"datatype":"string"},"type":"statement","id":"Q2350311$7D1989D0-85C2-446C-B389-0DC3197966E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$DF6E9B79-6BFE-4572-BC7C-D4A252841348","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":"Q2350311$43203F1B-FCF9-451C-9B6F-654140D60FF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2276024d8430d58b8575f136a3c00e71b6e3ec88","datavalue":{"value":"W2059686979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350311$9C9AB236-0FAB-479A-9416-7A27FA0A7014","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"563c61823091691103ceeea484cdeba548c20d2c","datavalue":{"value":"Q59404892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350311$A17FDDB6-7DF3-41AE-AE7C-E7A06349367B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"395e8bde5035730a3f9e7ab7cb0e5d7ed63423c1","datavalue":{"value":{"entity-type":"item","numeric-id":2538652,"id":"Q2538652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$8D9EB41C-6093-43EA-80C5-B2C7CFDE64C5","rank":"normal"},{"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":"Q2350311$11BB77E4-E9E7-4A28-B11D-8C39933D5407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0adf8dfd2b99e71170504eeaf951ae3199f99593","datavalue":{"value":{"entity-type":"item","numeric-id":1353439,"id":"Q1353439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$5C241F06-6915-4A08-88FD-F60A69F25B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d151674fa3f2ae200e36c1848eed2f769352f64e","datavalue":{"value":{"entity-type":"item","numeric-id":2559535,"id":"Q2559535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$FE9F7CC2-70A1-4C1D-A3DF-40F4872005C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895f63abfea2f3d689350b3b73a71724443e163f","datavalue":{"value":{"entity-type":"item","numeric-id":3528855,"id":"Q3528855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$C8844F6D-C829-4868-A246-8A701C818ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32fbb879b1b1a752d0cb814abc5317db893e168a","datavalue":{"value":{"entity-type":"item","numeric-id":1244326,"id":"Q1244326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$7217F207-797B-409C-B4A9-F37E8CAAB368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5d90bb9c7483f2b9eddcb54d776cc4aef07085","datavalue":{"value":{"entity-type":"item","numeric-id":3156508,"id":"Q3156508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$8148589E-1FFA-480B-80BE-C0EC0EB630FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$E082DEEA-96E0-44BF-A080-B77BBA4912FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5ade4abc8579af367f42bbe14eebb02d33b346","datavalue":{"value":{"entity-type":"item","numeric-id":4236209,"id":"Q4236209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$148AA075-E4DF-4044-AF25-86951BB57A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fca8fbe79b51b51ab155c189be775a403eccd3e","datavalue":{"value":{"entity-type":"item","numeric-id":1870523,"id":"Q1870523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$2F650401-5832-4F70-A309-3B59DA3EC374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ce00df0df8259037af9adc7dddb02ec0f2134c","datavalue":{"value":{"entity-type":"item","numeric-id":5548280,"id":"Q5548280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$AA683C94-CE0F-42C5-A863-D8264C7B3061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a6020e24eb70c0e428cdb5bfe3a25eb5253c36","datavalue":{"value":{"entity-type":"item","numeric-id":4406617,"id":"Q4406617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$A3EF6AA4-0322-4DCF-A529-AC2388FEFCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71acf1f42bd54677ba32b999051b4c558ab3d41","datavalue":{"value":{"entity-type":"item","numeric-id":5740404,"id":"Q5740404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$28A608F3-B71B-4807-9517-A9D5A1E4C397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de6a0035dce513fe44b38ed426b6b6e2955214f","datavalue":{"value":{"entity-type":"item","numeric-id":456867,"id":"Q456867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350311$F2CA9269-1CF5-4BDE-B85D-DDD4D8C16202","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4f17cad31284a58cc2a88d9e7480005e4185096","datavalue":{"value":"10.1007/S10485-013-9331-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350311$B1D449BB-8668-45A5-8D55-FA7E7FB4BFA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e186ddd6252f058b0d1f0ff4d5e0dd05e09776","datavalue":{"value":{"entity-type":"item","numeric-id":5740404,"id":"Q5740404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c462dd987698f357eb6695f5766990e5015dfc5","datavalue":{"value":{"amount":"+0.8949675559997559","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":"Q2350311$B403EC95-85A9-42BF-812E-8BF91DBE18AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0f9550670a1c898d77a07066b9b37ad2757bed","datavalue":{"value":{"entity-type":"item","numeric-id":2001598,"id":"Q2001598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e87879e08885ca8fbb0d72ab0edc97edcc054b","datavalue":{"value":{"amount":"+0.754288375377655","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":"Q2350311$36235D38-5E07-4BC3-9DCB-4D2C90DBAF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7d3e9311d59c3af92c58904af3b1e846c9580e","datavalue":{"value":{"entity-type":"item","numeric-id":1300653,"id":"Q1300653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6051f42fe1d2e590a9f9076028554d528c16de","datavalue":{"value":{"amount":"+0.7536203861236572","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":"Q2350311$FE23A00B-5ADD-4BAC-AA03-A53979F7EE2F","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":"4f74d0d6c07f2ac293961e7c3207d41879d3d476","datavalue":{"value":{"amount":"+0.7452144622802734","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":"Q2350311$C00D45EF-0DFA-443D-9122-4ECABA6DF4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d40291893b5014cabea9374546d2e375aca097","datavalue":{"value":{"entity-type":"item","numeric-id":456883,"id":"Q456883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce2c45ad85546a83333b88860743529a2588039","datavalue":{"value":{"amount":"+0.741348147392273","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":"Q2350311$D1E31994-0113-4A45-8800-4C3C28413210","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":"Q2350311$3C615601-586D-4087-8E55-83D486EC4F5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2350311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2350311"}}}}}