{"entities":{"Q1593791":{"pageid":1604531,"ns":120,"title":"Item:Q1593791","lastrevid":70923204,"modified":"2026-04-13T18:15:46Z","type":"item","id":"Q1593791","labels":{"en":{"language":"en","value":"A simple characterization of theories of varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1556966"}},"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":"Q1593791$F26B5AE2-E6DA-4AB3-BCE4-08C75661F651","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc76bbe56b91e0004810f26de9498cac0ae9d546","datavalue":{"value":{"text":"A simple characterization of theories of varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1593791$B2F2614E-0826-460E-9823-55BC14952BAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74a04423eca6888cf3e8a2d58c6c89b0ac53b9bf","datavalue":{"value":"0989.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593791$ACC620D7-39CD-4E08-A163-78D023C7A9BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca85145c5bcf26b9d6b48940983710606ab54cb","datavalue":{"value":{"entity-type":"item","numeric-id":1581051,"id":"Q1581051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593791$CCC7C42A-4F28-41C1-9F07-7E2FD521492E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593791$E51A5540-91D6-4D6B-AAE2-647CA0D20AD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac706b748d18db4c8ad233b94727176526ac6a7","datavalue":{"value":{"time":"+2002-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1593791$73FD5C16-3C06-485A-9F22-DA680FCD7DD4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"10c46dd369382f43e38656e954f170ab6b826e2d","datavalue":{"value":"It is known [\\textit{J. Ad\u00e1mek} and \\textit{H.-E. Porst}, J. Algebra 208, No. 2, 379-398 (1998; Zbl 0913.18004)] that the theories whose categories of models are quasivarieties are precisely the finitely cocomplete categories with enough regular projectives. It is also known [\\textit{A. Carboni, M. C. Peddichio}, and \\textit{J. Rosick\u00fd}, J. Pure Appl. Algebra 161, No. 1-2, 65-90 (2001; Zbl 0982.18006)] that to exact categories regarded as categories of models correspond certain types of theories called ``proexact'' but which are rather technically defined. Since the varieties are the exact quasivarieties, a combination of the above two results readily gives a characterization of the theories of varieties.    What the authors show in this paper is that a simpler approach is more fruitful and prove that the theories whose categories of models are the varieties are precisely the finitely cocomplete categories having enough effective projectives, by which they mean objects \\(E\\) such that \\(\\hom(E,-)\\) preserves coequalizers of reflexive graphs. They also exhibit the 2-category of varieties as a bireflective sub 2-category of the 2-category of locally finitely presentable categories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593791$ACD58745-7E32-4D86-8E59-AF2D503DA198","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593791$05E13582-1062-4A0C-80B5-1AD9B33AE2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593791$3551E034-11C6-40A5-98CB-5328E72EADF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593791$C531E3DD-697E-46C8-818D-C5F6AE01477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593791$01968044-0290-467D-ADA4-DA3D6884421C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4af60c3a869a0f7661a7526939ed6071bff40310","datavalue":{"value":"1556966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593791$B19C8D3C-DDAD-46BB-8DEE-3A6554C5DDB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a885ab2f6bc362c78510c74e224875b78fb64b2a","datavalue":{"value":"categories of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593791$07B61198-765D-441D-859D-0E455396F89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c5129ca511846c06962a5e158b68550c0cf7e4","datavalue":{"value":"quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593791$367DC431-824F-4A83-8086-DA308FE06354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5714d6dfea08d5f820b16f1e3f78a826a19c2ebe","datavalue":{"value":"finitely cocomplete categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593791$3CB3839A-57F7-4003-A7F2-493D30D86244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e532482e99730685928702c2aed77b847cfe22b0","datavalue":{"value":"enough regular projectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593791$475BD4D5-B123-4941-A6A2-21B9306A3F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fa2a2e6ae4d1f574c155cb3e541cee1e6877197","datavalue":{"value":"locally finitely presentable categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593791$F36BF253-6B9E-4F55-8DB3-6D337D2211AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6fdecc80f99fbf552230f8d3e11da972845bea63","datavalue":{"value":{"entity-type":"item","numeric-id":1250099,"id":"Q1250099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593791$59C156F5-AE5D-4C8A-B3D1-4DF538919B93","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":"Q1593791$6BF5C9B6-9851-4F16-A1CB-DA7C259D5FDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb028df7629ac423c3d65fe0b1565c5549cd9b43","datavalue":{"value":"https://doi.org/10.1006/jabr.2000.8447","type":"string"},"datatype":"url"},"type":"statement","id":"Q1593791$AAFA84DE-0C0D-4240-A2C7-A4C0C98A8477","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e662939329c9371e33f525ce44ab7631140020f","datavalue":{"value":"W2046312765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593791$E65D8AC4-7693-4004-9607-E49533BF139D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b66d0a84e8b126f30379c8c310b4bc776554ab4","datavalue":{"value":{"entity-type":"item","numeric-id":1273384,"id":"Q1273384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593791$C4D72CD7-C723-41DA-953D-CD246EFC23D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593791$0FDE0AC8-F131-485B-8020-5F358D813ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f388376cc41325e83cde703c2e6c9217c99a0765","datavalue":{"value":{"entity-type":"item","numeric-id":1910730,"id":"Q1910730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593791$BA237C07-879E-49CB-9FA5-984A7C9E44A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3dade8410f83d6f7d8b4e0289e19f4c9499297","datavalue":{"value":{"entity-type":"item","numeric-id":4511141,"id":"Q4511141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593791$2AD175A8-01A3-4A04-838B-51E667C2FCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b67432ef06d604a60c0a0f878050f61a08d907","datavalue":{"value":{"entity-type":"item","numeric-id":5939609,"id":"Q5939609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593791$CA375B8A-B686-4F63-86E8-379F23D34C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593791$A0A9A135-82D8-4E0B-A76C-533038E2ECC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593791$6E699264-74F1-4F97-9B51-EFEE030ABAD3","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":"Q1593791$95959AC5-237A-452B-BA80-1ECEB5C7DD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84ac8b24f190a0fd6f274c2c5064ab7a2fb28cb","datavalue":{"value":{"entity-type":"item","numeric-id":4723928,"id":"Q4723928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593791$B5AE6E6B-9B13-445C-B16D-ED95DC8756CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e77bb995d4e9e07f51985d26060f50a0b4a8fae5","datavalue":{"value":"10.1006/JABR.2000.8447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593791$6FECA4DB-C4D8-43D8-BE53-509768223CBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f7850527adb685bd8801ae0b5ff6c29b17d9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5931465,"id":"Q5931465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f482455bb3c2d7edea7adc3390de551edacb9a9","datavalue":{"value":{"amount":"+0.8266155123710632","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":"Q1593791$0DB7B671-AA38-408F-8378-6E42AC1E70F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc66aab827abbfe8d17308a9d2ebff82abe00797","datavalue":{"value":{"entity-type":"item","numeric-id":2583596,"id":"Q2583596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39a5a4a64f7f92ebbab1d939b10d759ae260fc4","datavalue":{"value":{"amount":"+0.8248393535614014","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":"Q1593791$990F57ED-6667-4519-BEB9-5771A2139726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5852ee73c21c4be8c9d72b9096c6cb8fba2e0521","datavalue":{"value":{"entity-type":"item","numeric-id":1770598,"id":"Q1770598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e7a3b007a83ec4d64a26580fe070e5dac5ac85","datavalue":{"value":{"amount":"+0.8244943022727966","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":"Q1593791$CA3606EC-EC57-49FA-866E-480C23F3C918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c495fb70f0915a69859981ed64b46c410c5678","datavalue":{"value":{"entity-type":"item","numeric-id":1568751,"id":"Q1568751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02e7bcc8c8d1063befb2cfce87c795a6e1ce66ea","datavalue":{"value":{"amount":"+0.8229272365570068","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":"Q1593791$C5879391-FD2E-4E3A-9F5F-4A54956FED20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a68044442dba7c88e364ad4be32f388437727cf","datavalue":{"value":{"entity-type":"item","numeric-id":4896512,"id":"Q4896512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02e7bcc8c8d1063befb2cfce87c795a6e1ce66ea","datavalue":{"value":{"amount":"+0.8229272365570068","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":"Q1593791$25355EC4-E933-44EB-AFC6-1F95AB933DB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple characterization of theories of varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_characterization_of_theories_of_varieties"}}}}}