{"entities":{"Q913938":{"pageid":915786,"ns":120,"title":"Item:Q913938","lastrevid":65338455,"modified":"2026-04-12T01:53:46Z","type":"item","id":"Q913938","labels":{"en":{"language":"en","value":"Unexpected properties of locally presentable categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4148378"}},"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":"Q913938$D4692616-6863-41FD-94A5-9CF8B448E147","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44e5a2d6bdc1e79b540679d1482ca41dba81a854","datavalue":{"value":{"text":"Unexpected properties of locally presentable categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q913938$05A3D115-5992-4ADE-9F89-0CD56BDD3A90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c607edf6f5c796fcc8b8fe6882fb807b594fd739","datavalue":{"value":"0701.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913938$98B64DBD-29B9-40DD-B6AF-A7639F087958","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"047265d4bcc143c7b4e8ff98e370d49512e31bd6","datavalue":{"value":"10.1007/BF01182450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913938$58A59578-C09F-4459-AC0F-677D92D7BCA1","rank":"normal"}],"P16":[{"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":"Q913938$2498B971-4BFB-43EB-A29F-FB591CA9172C","rank":"normal"},{"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":"Q913938$EABB635C-6C97-41C3-8E5D-D17D5BB87DB0","rank":"normal"},{"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":"Q913938$FAD61D11-2752-4E41-BBF8-9CD9455D1819","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":"Q913938$EC7041C3-6285-4667-9CA7-5E6072BF8F0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q913938$D1AC7C45-1DF1-468F-985B-830F8FC29B43","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9eb01148dccc52779b3d76b141be0287e183a777","datavalue":{"value":"Let \\({\\mathcal O}rd\\) be the usual category of all ordinals and \\({\\mathcal G}ra\\) the category of all graphs \\([=binary\\) relations]. The statement that \\({\\mathcal O}rd\\) cannot be fully embedded into \\({\\mathcal G}ra\\) is called Vop\u011bnka's principle. Locally presentable categories are precisely those complete categories which have a small dense subcategory (all subcategories are meant to be full in this paper).    The main result is the equivalence of Vop\u011bnka's principle to various properties of locally presentable categories, for example to each of the following three claims: every subcategory of a locally presentable category (i) has a small dense subcategory; (ii) if it is closed under limits, then it is locally presentable; (iii) if it is closed under colimits, then it is coreflective.","type":"string"},"datatype":"string"},"type":"statement","id":"Q913938$4B9E89B8-0F4E-4574-9A9F-595F270E1895","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913938$34087220-27F7-48AD-9AF2-A56F38FC9ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913938$C84EA6F4-3290-47C8-B002-1B45917AA356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913938$43884203-777E-4D96-8D23-F408EC8447EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04ec2b297acedfb499cfcee0c56c066ce02cd18c","datavalue":{"value":"4148378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q913938$1A57AB8F-AFC8-44CA-AA9A-36466EA31B75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e328997ee9a11659b4d817dac83c5a7fc84f97","datavalue":{"value":"Vop\u011bnka's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q913938$6FCFB850-E7B5-4F04-8385-A56410AEE913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3429c2f63d27b5fad42c07e1db8f305519b0e7e1","datavalue":{"value":"locally presentable categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q913938$CCED6B0C-6787-41E9-BB6F-B20AD48AA5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89fecb5e83cfddd7c468b46534fbe23c29861b81","datavalue":{"value":"small dense subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q913938$5B4681DB-0C25-4577-A9D1-D916B1AAD55A","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":"Q913938$F1694D52-8A76-4A56-BFD3-F9E4A07418A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18bc8932b606c66a4dd9a2dbe3a0a5e7f03fe92e","datavalue":{"value":{"entity-type":"item","numeric-id":4723930,"id":"Q4723930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913938$6D602E2C-8073-44E1-9561-99BBF81E5059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a57c756d6534d3ad7589a3d6776a14be9a7b55","datavalue":{"value":{"entity-type":"item","numeric-id":774938,"id":"Q774938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913938$B56966FD-50A0-4E93-9CB7-6B476BB94C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913938$736A7A23-B5DD-4E74-85AA-540FB3026FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6cecbe480749eded9419f3487b585e7f2f3144","datavalue":{"value":{"entity-type":"item","numeric-id":3995283,"id":"Q3995283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913938$C2A13059-7D26-495D-845F-4A0EEA1F1B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854867e442e180214bb95f00fae08ed1c30ad83a","datavalue":{"value":{"entity-type":"item","numeric-id":2525179,"id":"Q2525179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913938$86984B71-D590-4D98-9C15-480F4345499C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab3551f3c9d069d7047529490692ddc18a3c369","datavalue":{"value":{"entity-type":"item","numeric-id":3672155,"id":"Q3672155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913938$568C18A2-87E1-4A6D-947F-E81F734FC9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacc118959ac4406901793fdc048b61fa833ad70","datavalue":{"value":{"entity-type":"item","numeric-id":3208855,"id":"Q3208855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q913938$400F7821-12AA-4C0C-9731-E1CD0A6826A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7efb5b720330615e2dc7f76ee84308d116bdfe4","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518b46b6df7ef1197a01c3bc172c22679528f0af","datavalue":{"value":{"amount":"+0.8358995914459229","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":"Q913938$11DCD4B4-8697-486F-AAF3-7EED1051D5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"391aab274b752945f9c13cad1a22a41cc04a9049","datavalue":{"value":{"entity-type":"item","numeric-id":4039346,"id":"Q4039346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f74f146ca431c27eeb1958cd0d8d4845684f8f8","datavalue":{"value":{"amount":"+0.8330751061439514","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":"Q913938$3075EDB0-64F3-4530-AEAB-267B1E2F76F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b4187ac908703bee52e412fbf5d8649d9f8d13","datavalue":{"value":{"entity-type":"item","numeric-id":4563234,"id":"Q4563234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1dad2f7c839b75d3b8a4197ed9d4de22c3f67f","datavalue":{"value":{"amount":"+0.8319570422172546","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":"Q913938$7E336D1F-D7B3-444A-A028-5B2752CB8621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba26c832aca94e639c81cf1f24e990e2d70672b1","datavalue":{"value":{"entity-type":"item","numeric-id":3820771,"id":"Q3820771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa995423b26bb13bf24c92f12b10dcf0adfb86ac","datavalue":{"value":{"amount":"+0.8263257145881653","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":"Q913938$F6010D73-861C-4BC9-ACD4-928688EC45CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25e1c1afe83d3f775497cf0875848143707ac03","datavalue":{"value":{"entity-type":"item","numeric-id":5218967,"id":"Q5218967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79d7c35d2f1c9814360aa4576cb31a8f6516861","datavalue":{"value":{"amount":"+0.8104120492935181","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":"Q913938$DDD6906A-B33A-4BFC-B6BD-047120F567C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unexpected properties of locally presentable categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unexpected_properties_of_locally_presentable_categories"}}}}}