{"entities":{"Q2496138":{"pageid":2506881,"ns":120,"title":"Item:Q2496138","lastrevid":49876213,"modified":"2026-01-11T12:56:53Z","type":"item","id":"Q2496138","labels":{"en":{"language":"en","value":"On the duality between varieties and algebraic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5040208"}},"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":"Q2496138$6B9C1A22-EDD5-4E03-BA91-C32BB5F3C6B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"704f9c1d515de0d7f04ca7c466023fffb5fd8f80","datavalue":{"value":{"text":"On the duality between varieties and algebraic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2496138$6078CD4B-0AD0-492F-AD94-EA574246E585","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b82444b193f1350fcd122a9ad39c7fb1d511791c","datavalue":{"value":"1090.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496138$AC796E83-C94D-4D8F-84DE-9EF7345B3B23","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":"Q2496138$5F52FE04-C7DC-4B56-895D-21CE163F9761","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":"Q2496138$8635A7B0-81A8-4ADF-8595-B4DB0C8BF087","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":"Q2496138$1E8D7FFD-4D53-4FC5-A487-23C9FE11371A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496138$36D2658B-0043-48D2-A3CB-A78FD3A893F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695354130dab3a786d23413cb8a043a7f99b90ed","datavalue":{"value":{"time":"+2006-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2496138$D3564977-1C96-4BCD-8B7B-C1B15E46C134","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"938b807ab7e07a022500b53e649f47912637c992","datavalue":{"value":"A variety \\(\\mathcal V\\) of algebras can be described via an algebraic theory \\(\\mathcal T\\) as follows: \\(\\mathcal T\\) is a small category with finite products such that algebras of \\(\\mathcal V\\) correspond to models of \\(\\mathcal T\\) and homomorphisms of algebras correspond to natural transformations of models. The authors introduce the category of all varieties whose morphisms are called algebraically exact functors, i.e., functors between varieties which are induced by morphisms of their theories. A full characterization of these functors is presented: they are right adjoints preserving filtered colimits and regular epimorphisms. The authors prove a duality between the category of all varieties and the category of all Cauchy-complete algebraic theories. The duality closely follows the known Gabriel-Ulmer duality between locally finitely presentable categories and left exact theories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496138$F6891AEE-5EEE-43F2-B0A9-810FADD42039","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496138$091AC938-DE84-478E-947A-2258BB6C3BC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496138$4926E1CC-1511-448E-A408-75DBD7F09DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496138$92C5F4DC-96E5-4869-85EF-3A7562F4DF3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec4f69e6e42d68bee5188f50a37ca7abec3e32be","datavalue":{"value":"5040208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496138$4160F99F-1994-44EA-B51A-8E9C8CE45940","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496138$F64B4CBF-EF6B-47B2-8846-10B61039B736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2141c2af542496de0a82cc344f7d7615583bd8","datavalue":{"value":"algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496138$90480EDF-71ED-438E-90BB-AB021CDF5BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496138$09451A6D-5681-4933-A90F-D510C1D6DBDE","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":"Q2496138$608FF855-0F1A-4FDE-9718-41D1EB9C0BBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f24d48b6ba1be87d5097d1ac268ebaf32c9be4cc","datavalue":{"value":"https://doi.org/10.1007/s000120300002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2496138$95D345D8-76E5-474F-B7FA-03A4A4E0A886","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c650addf32febeb4ffc08b57f0f72dadaa7a82d9","datavalue":{"value":"W56533895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496138$C76FBF64-33C7-4D12-AD40-3EEAD80F94C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"348e29c217002322d31a4a3b9d811a28c42869f6","datavalue":{"value":"10.1007/S000120300002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496138$2A01DE74-D35C-498B-B8C6-F3EB95F0E5FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5a1256987138c3bf2a85a9032e764d81530657","datavalue":{"value":{"entity-type":"item","numeric-id":4457308,"id":"Q4457308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b2fb9ed9c131fd458219c83533a48fb13505cf","datavalue":{"value":{"amount":"+0.7930284142494202","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":"Q2496138$12219148-46A5-4AEF-9AC2-793209F25479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18886b8171975be5b6270c9ce83d57ef590f67f1","datavalue":{"value":{"entity-type":"item","numeric-id":3164468,"id":"Q3164468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9bef3646733b3b0838e1d338dce832e72f3e60d","datavalue":{"value":{"amount":"+0.7785219550132751","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":"Q2496138$45975E54-AFE3-4ADC-83E3-5A33428ACB36","rank":"normal"},{"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":"f09b3fc6c941d24ff4668e48b86483005483643a","datavalue":{"value":{"amount":"+0.7714622020721436","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":"Q2496138$B6B1CE3A-820F-4832-AB86-AFAF7D88B59B","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":"083df7fac8d6083f970b625f213ec46344b10ba3","datavalue":{"value":{"amount":"+0.7616462111473083","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":"Q2496138$73DCE9EB-08E9-47B9-8E3C-D18F76545194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdec25ff7cc56fc81181b2300099843d642d8a7","datavalue":{"value":{"entity-type":"item","numeric-id":4917031,"id":"Q4917031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7b22cc6a3e4422e60f02224275d05436d93d83","datavalue":{"value":{"amount":"+0.7615337371826172","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":"Q2496138$2D7AD1C4-B14F-4666-A6E1-62109E27257C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2496138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2496138"}}}}}