{"entities":{"Q1966140":{"pageid":1976882,"ns":120,"title":"Item:Q1966140","lastrevid":47448961,"modified":"2026-01-01T19:00:51Z","type":"item","id":"Q1966140","labels":{"en":{"language":"en","value":"Representability and local representability of algebraic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1407093"}},"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":"Q1966140$0506B92F-F1F9-48D3-91FA-A69E693F79FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59e42bc03579d2ac1cb755fe0bf016a3c0301701","datavalue":{"value":{"text":"Representability and local representability of algebraic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1966140$6EE0B6A1-A680-46E1-9CEE-3C51C1C982C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f7dba97ce016daeb4ac64ad3d33c0777eb192e8","datavalue":{"value":"0936.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966140$F5D0757B-0F54-4609-A4A4-2E6D160270B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8124976778a8742ad47f4813c985423b0264ec9","datavalue":{"value":{"entity-type":"item","numeric-id":409254,"id":"Q409254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966140$55C0D4C5-17C3-44DA-8D49-6B247618C597","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":"Q1966140$434B04BC-58AB-4A3E-94DC-4FEC198BB6C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b67edb7c6ba470465e19f8a68d18347f5f95336","datavalue":{"value":{"time":"+2000-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1966140$549EDC9E-A6F3-4949-9158-13B4DD851FB6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb2edb1de5192139f5eb1d53bf2b0b2811d85534","datavalue":{"value":"A finitary monosorted algebraic theory \\(\\mathcal T\\) is called locally representable (or representable) in a category \\(\\mathcal K\\) with finite products if each of its initial segments is the domain of a full faithful finite-products-preserving functor into \\(\\mathcal K\\) (or if \\(\\mathcal T\\) itself is the domain of such a functor).    The present paper investigates the question when local representability of an algebraic theory, that is, the existence of possibly separate representations of each of its segments, implies its representability.    Theories \\(\\mathcal T\\) that are representable in any category with finite products in which they are locally representable are completely characterized.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966140$DEDD36FC-D97E-41D8-98D1-98A2B72BA9F1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966140$889AAD14-1801-4022-9111-32267BC00381","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966140$0F7D9B0E-FE68-43FB-AD05-FA4C03C9258D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966140$F6EF3C3F-5F8C-47DA-9828-F3C23470E682","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"990ee4ab0ac3ff00871e1f0db308b7f386db695e","datavalue":{"value":"1407093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966140$C6D90F39-D94E-4C77-9579-2D2BDC120A97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f56da7794566e5cee6dc2146ecf8b9279ba2b685","datavalue":{"value":"monosorted algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966140$C6150DC5-7995-4881-8212-009D7FCB2C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b111c36d6d988a197089e1477f96c0e11350f4e4","datavalue":{"value":"representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966140$524B3C53-2CDE-421A-BFE9-A222BA16641B","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":"Q1966140$0B75DF34-416E-4E5A-9CE7-97CA40F47C3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0414e1f2c94456c18d2017d3a4e7fe3f405c1cd","datavalue":{"value":"https://doi.org/10.1007/s000120050071","type":"string"},"datatype":"url"},"type":"statement","id":"Q1966140$B14026D1-C9C5-491C-91D8-8D6CC30AAC49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a630201ceef8a3b58a5a48d36b20c65c1883967d","datavalue":{"value":"W1987438541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966140$D80001A9-9E6A-4A21-9B98-B4E4FAA665C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eab10d2bb7b518a9322df87e73654ac856aa994f","datavalue":{"value":"10.1007/S000120050071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966140$03F8A5DA-471E-4E70-90BB-DBCA5E7041C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2881ce1c2ccb7491584772d6f96bb8280f81e96a","datavalue":{"value":{"entity-type":"item","numeric-id":4888800,"id":"Q4888800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e742866021cb27d12e535f61a11227a3249eef24","datavalue":{"value":{"amount":"+0.7688639760017395","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":"Q1966140$83B70075-239B-4BA9-A137-7AD3C1A3DEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb27c85db678f9bacc28a8ca42c960e2b9e1e9f0","datavalue":{"value":{"entity-type":"item","numeric-id":5932479,"id":"Q5932479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e742866021cb27d12e535f61a11227a3249eef24","datavalue":{"value":{"amount":"+0.7688639760017395","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":"Q1966140$00928FB6-90A9-48CB-9E04-6B4742C3B2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3475e182a60ce86f1399ac0fa74e6e2fe7cc8871","datavalue":{"value":{"entity-type":"item","numeric-id":2502182,"id":"Q2502182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e8d1bda714d76363d59217cf5205520b852d2c","datavalue":{"value":{"amount":"+0.7630093097686768","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":"Q1966140$F78EBD0F-ECEC-4E4B-814E-543C105ABF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9060affa617035f8b28c708e51a7be2bdb3c71","datavalue":{"value":{"entity-type":"item","numeric-id":1118682,"id":"Q1118682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd65662008b0a04b3639ac0701ac2e1f7a6490cf","datavalue":{"value":{"amount":"+0.7626712918281555","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":"Q1966140$288D5F18-960D-4FAD-9B8D-22393884AC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab6998353d504120e77aedc56bb2d9e2c294e7b","datavalue":{"value":{"entity-type":"item","numeric-id":3731835,"id":"Q3731835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5499f6f1ee776f7c252a381b22cf49da43739a05","datavalue":{"value":{"amount":"+0.758801281452179","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":"Q1966140$15B32590-57C5-49A9-8625-1810A4B743B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1966140","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1966140"}}}}}