{"entities":{"Q2710150":{"pageid":2720889,"ns":120,"title":"Item:Q2710150","lastrevid":47602069,"modified":"2026-01-02T04:51:51Z","type":"item","id":"Q2710150","labels":{"en":{"language":"en","value":"How algebraic is algebra?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1589376"}},"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":"Q2710150$A42E4C7A-604D-4512-9BC4-7B301359753F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54deb41e81667a1319c1a17aa3963718bedea57b","datavalue":{"value":"0978.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710150$7181179E-FAAB-4560-8223-7CA23BAB403E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710150$213BE6D9-F8B7-465E-BF0A-F9197497BC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61f3978f5791f47725c0b0aac4b998fdea71c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":240391,"id":"Q240391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710150$9D0327D0-5003-4C20-9925-D3C02019F52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b93a7088f0f3f3d6d8299d78aae3a1d1876d975","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710150$128D58A2-D472-4308-B9F1-50AB41B16B90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b66fa4e860829951be38c1c33544222d3a5f5dde","datavalue":{"value":{"time":"+2001-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2710150$82418FD9-0465-47E2-936A-4E521E2D8117","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"841a55930e9097427d4ae6aa5b16bd28f0768d9e","datavalue":{"value":"https://eudml.org/doc/121551","type":"string"},"datatype":"url"},"type":"statement","id":"Q2710150$4215F39B-12F9-4620-A0AB-7CB1D4D02BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"86fe3d8834c3ca93b15ca54df9bcdf0ed2bff2c5","datavalue":{"value":"http://www.emis.de/journals/TAC/#vol8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2710150$E4B4ECAD-B5B8-4027-8FE9-AE0605B2F9F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710150$9E174350-8641-44FB-858E-E99EB371D9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710150$3945DB00-B25A-41EE-B283-3452805CB65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"975e306b2e493708715392b7bc75eadbf7291a79","datavalue":{"value":"18D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710150$CF9CF197-4ACD-4772-B039-E6D8F0B9514B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88d480d8ad629251d235c5ad34728cfc0d5534b9","datavalue":{"value":"1589376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710150$0A1BD6A5-F2AF-4223-AB48-4139189DAD7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710150$E6C35F2B-DA21-4965-B382-0354C9800E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e44db9f5d2d8550a4c3cd4ab7ec082a7834a67","datavalue":{"value":"exact category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710150$C7C43940-44D4-4365-8F86-1F0D5975BEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebff69cf89e762597783db9685dedb769910b78","datavalue":{"value":"pseudomonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710150$AB74BC1A-C1AE-49CD-AE2A-D409D1AF2844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a1fc2109f8c5bc29f6fab9f2b707bca55c51cd","datavalue":{"value":"finitary varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710150$CBA4AA47-B27A-4D11-9554-CEA765E654ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2daddfffe0ca0cf87ec3861e9cda04c40cc8b697","datavalue":{"value":"equational hull","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710150$3255192F-2039-4D93-8F52-FE3E8D00D2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ca8a494ba6ced47ed98558f165b0a421cfed4f4","datavalue":{"value":"algebraically exact categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710150$A4A39BA1-7E38-4648-9DC2-C4A296B9DFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf56bf782a5961420ae5f504f9272e66b939942a","datavalue":{"value":"sifted colimits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710150$31C58FFE-2759-44F9-AB56-181BEE76B58E","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":"Q2710150$97B8CA13-6AAC-4758-8114-6AF00E866B6C","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"ebcf1a267e8d840d86d53432dbfe48e812f664e0","datavalue":{"value":"bafkreigqmocs2d64xli5nfsikcxxqvwrxljrcyikn3q76mf5fr3gzmuv4e","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710150$ACC3CB19-3920-4DB7-B39B-925C91AC9C6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d50b8a41af31d2e555b6e613449764989a0952e","datavalue":{"value":{"text":"How algebraic is algebra?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2710150$829D8DC0-D15C-4C92-86F2-726A9042F123","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710150$240A5A69-9DB3-4E39-A0CF-7EAEC35C3DF4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b71a0eb603e15f4968c31586b91c596621178dc4","datavalue":{"value":"The inclusion functor of the 2-category \\({\\mathcal V}{\\mathcal A}{\\mathcal R}\\) of all finitary varieties (with finitary right adjoint functors preserving regular epimorphisms as arrows, and with natural transformations as 2-cells) into the (larger) 2-category \\({\\mathcal C}{\\mathcal A}{\\mathcal T}\\) of all categories fails to create split coequalizers and therefore fails to be (pseudo)monadic. Hence, the problem at hand is to determine the (reasonably defined) equational hull of \\({\\mathcal V}{\\mathcal A}{\\mathcal R}\\) in \\({\\mathcal C}{\\mathcal A}{\\mathcal T}\\).NEWLINENEWLINENEWLINEThe authors offer a solution under the restriction to ranked operations: it is the 2-category \\({\\mathcal A}{\\mathcal L}{\\mathcal G}\\) of algebraically exact categories, i.e., of complete categories with sifted colimits which distribute over limits, with functors preserving limits and sifted colimits as arrows, and with all natural transformations. \\({\\mathcal A}{\\mathcal L}{\\mathcal G}\\) is bi-equivalent to the 2-category of algebras of the composite pseudomonad \\(Sind\\circ Lim\\), where \\textit{Lim} is the free-completion 2-monad under limits and \\textit{Sind} that one under sifted colimits; the pseudomonad exists since \\textit{Sind} (Beck-)distributes over \\textit{Lim}. The authors also mention a number of challenging open problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710150$DFB0F794-A884-4943-9464-CC0E79D40CE9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7f78b4cfd7a9c75e2b530969fc99d3d222123e1b","datavalue":{"value":{"entity-type":"item","numeric-id":173922,"id":"Q173922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710150$929B1E48-5183-4989-9ED7-28493544A714","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c6d4bb7d29916c108ed2d8c2b2e3659e7a30a6","datavalue":{"value":{"entity-type":"item","numeric-id":1427370,"id":"Q1427370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d04fd99a13b67d65e0780c974b232d009a9d45","datavalue":{"value":{"amount":"+0.844881534576416","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":"Q2710150$C79D5A3A-D98E-4340-8912-CEF3861AA4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032c4c92f1f43c178a1301d1d5b51346613bd5af","datavalue":{"value":{"entity-type":"item","numeric-id":680309,"id":"Q680309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd07cf52758cc1caaf81708365a21ec8fb6ba0db","datavalue":{"value":{"amount":"+0.8364500403404236","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":"Q2710150$CFB0C739-E1BE-4D51-8C38-D4E7162F5DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02568d32a46fc167a9913207471b1cc4a8ca7e78","datavalue":{"value":{"entity-type":"item","numeric-id":3030989,"id":"Q3030989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7c531c226ea61e077c0cfe1b7fa8f587b60f8b","datavalue":{"value":{"amount":"+0.7927262783050537","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":"Q2710150$1A232B10-F7C9-4362-938C-1D6C9AAEEC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a719206bf36ab9ac6451464a91ff996512d80fa","datavalue":{"value":{"entity-type":"item","numeric-id":5185058,"id":"Q5185058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"388180fb4a5abfaa0ec1f0db5998733356498c2b","datavalue":{"value":{"amount":"+0.7827215194702148","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":"Q2710150$86C3D19D-DED4-4C09-B86E-33DE8E3A7CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4bbbb41a41a3db5c9490bf621616b0de2ceffe0","datavalue":{"value":{"entity-type":"item","numeric-id":800476,"id":"Q800476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcdbd6af789c38321bc80358bafc5bf3af869625","datavalue":{"value":{"amount":"+0.7809755802154541","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":"Q2710150$9B42FEBA-D3AB-4B0C-9834-A70D4F4434A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2710150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2710150"}}}}}