{"entities":{"Q2724147":{"pageid":2734886,"ns":120,"title":"Item:Q2724147","lastrevid":47634337,"modified":"2026-01-02T06:49:31Z","type":"item","id":"Q2724147","labels":{"en":{"language":"en","value":"How large are left exact functors?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1615742"}},"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":"Q2724147$56A064C2-B2E7-44DA-84E5-F77CC905D0D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98de7e14e2363264e141fcae8316716f48ef9f34","datavalue":{"value":"0984.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724147$2158DFE6-2EC8-4576-B107-1213A65F5F91","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":"Q2724147$63389063-F26F-494A-B0BD-ADBD0A83170A","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":"Q2724147$777FB5F9-8C0A-4C39-93B4-54448153430D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93a856ec74c83d630bb9a006b922edf955f6e7da","datavalue":{"value":{"time":"+2001-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2724147$237817B2-0923-4528-838D-9FB78C055D8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb052b5d26cb5c8162116a6c03bff6f7948473f0","datavalue":{"value":"https://eudml.org/doc/121770","type":"string"},"datatype":"url"},"type":"statement","id":"Q2724147$F6D37CFA-0089-4F21-BEC4-F934F40F4F98","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":"Q2724147$6CF8DB85-CDA0-4927-AE8F-9E8060F58B0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724147$F77B3707-D925-43CF-BB73-0B13896E3FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724147$DD6DBA29-ABA6-4E07-A206-3BF1D568D209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724147$E06642F8-3BC0-4A61-8E01-D16670B20939","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f4f52209f310cce313b56cfbde83cf6db3ba7d5","datavalue":{"value":"1615742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724147$69F27438-9145-4D77-B6C1-D969D30FFEC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016a62583627e02c3def0802b073aa7629bfb48a","datavalue":{"value":"left exact functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724147$60157C7B-3223-435B-8C7D-7ADE9501B2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a8c3b9c55d2602b7d778677d129a37512a59ff","datavalue":{"value":"small functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724147$FC64E8AB-3C3A-4F07-B231-D8655FE76579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19877db7d54ca407154a27f124fa9f45863d757f","datavalue":{"value":"regular ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724147$C6361A1C-D4B5-467F-A4E5-1EDBF8FF2C52","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":"Q2724147$E66E0E7C-FCB6-421D-A18F-0ED48EC8A809","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"8f509527ffb1d28d18178c579c341653e1e2818c","datavalue":{"value":"bafkreigx6wui5s7xhlutoo3fnx6ov4k6ptp37dbk63vpgxl7lh7chbprvi","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724147$DB225544-D418-4479-BCE2-C2B89C7C96FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"483557bca6ac4c1a911de8cdb76d518d93464d1d","datavalue":{"value":{"text":"How large are left exact functors?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2724147$64A1E300-273F-42AD-83D3-D32188D7DCAB","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":"Q2724147$60A19CAF-8B83-46F2-99DA-4797B3F93D8D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4f170f8728d6bca0ad1eba80384381d10ef18987","datavalue":{"value":"\\textit{A. Blass} [``Exact functors and measurable cardinals'', Pac. J. Math. 63, 335-346 (1976; Zbl 0348.18007)] proved that every left exact functor \\({\\mathcal S}et\\to {\\mathcal S}et\\) is small (i.e., a small colimit of hom-functors) provided that every uniform ultrafilter on an infinite set is regular. \\textit{H.-D. Donder} [``Regularity of ultrafilters and the core model'', Isr. J. Math. 63, No. 3, 289-322 (1988; Zbl 0663.03037)] showed that this assumption is consistent with ZFC. The authors extend it to all left exact functors \\({\\mathcal S}et^{\\mathcal A}\\to {\\mathcal S}et\\) for any small category \\(\\mathcal A\\). This solves the problem recently put by the first author, \\textit{F. W. Lawvere} and the reviewer asking to the legitimacy of small-ary operations on locally finitely presentable categories. One should add that \\textit{J. Reiterman} found a non-small left exact functor \\({\\mathcal S}et\\to {\\mathcal S}et\\) assuming the existence of a proper class of measurable cardinals. NEWLINENEWLINENEWLINEThe situation changes if one considers functors \\({\\mathcal S}et^{\\mathcal A}\\to {\\mathcal S}et\\) preserving finite products. The authors construct a large functor of this kind for the monoid \\(\\mathcal A\\) on two generators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724147$746E908A-1579-4536-87E1-460A732A5BB9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d69f2ace25c4aede75beeae76b1816ac2c8c2b92","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2724147$9695A00A-2EC1-445A-83CE-CE167A2332E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495cf6054c0ff65668e7ceaadaeba0ff3486f3d6","datavalue":{"value":{"entity-type":"item","numeric-id":579396,"id":"Q579396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff09ae7e36bca95a72bbd840b1abeaa94668e2e","datavalue":{"value":{"amount":"+0.7864028811454773","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":"Q2724147$5A712104-58E7-425F-A25F-FDD2759520E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8944e505264f05aece8aaa35742d9d3da3f4a8","datavalue":{"value":{"entity-type":"item","numeric-id":2350316,"id":"Q2350316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d607c709497b0c5057f177b54f6c34e7a2ba522","datavalue":{"value":{"amount":"+0.7768919467926025","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":"Q2724147$8125B9E3-BA51-4E10-BCB5-0FF2E66E9A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e97292de43d454d78f83e39e74c63a84ab1b5ff","datavalue":{"value":{"entity-type":"item","numeric-id":3759010,"id":"Q3759010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edcb705fb71311cbc5881f4a2d01903131bd9d3e","datavalue":{"value":{"amount":"+0.7654900550842285","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":"Q2724147$B98C5D76-3197-4AE8-8A76-2D3D743504B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aae1a6f28b9fd5a75bd5743d3a4e6f5c1ba7caa","datavalue":{"value":{"entity-type":"item","numeric-id":584378,"id":"Q584378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70772c590b3992f338064848fb2fb310b1416917","datavalue":{"value":{"amount":"+0.743222177028656","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":"Q2724147$08305E1C-0FCD-4E5C-B02D-2F436C73E58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7597b97e6b5d6631b8ba5eac3f425adf8a8a1a","datavalue":{"value":{"entity-type":"item","numeric-id":2863894,"id":"Q2863894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30f6d9b66c012fbd8c36a5b1ce2d81c9c385ae6","datavalue":{"value":{"amount":"+0.7233292460441589","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":"Q2724147$78D20A02-9D74-44DE-B0ED-D7EC0E9F42B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2724147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2724147"}}}}}