{"entities":{"Q7034265":{"pageid":21708474,"ns":120,"title":"Item:Q7034265","lastrevid":77523800,"modified":"2026-05-04T16:41:38Z","type":"item","id":"Q7034265","labels":{"en":{"language":"en","value":"A finitary adjoint functor theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977814"}},"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":"Q7034265$BD137FC8-9FA5-433C-8E35-4A761B0AE51A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04703939e01784619926332aabd3a11692b3627d","datavalue":{"value":{"text":"A finitary adjoint functor theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034265$3CFE3706-046F-4F30-BBED-961992CE73D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33d8e8d33988aa102fa2e13f9764a66aa979b6e4","datavalue":{"value":"1554.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034265$4DD1A879-F252-41DD-9A27-6FDAED6B0B03","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":"Q7034265$6006D186-F4D0-4FE8-9D27-25324D5F70A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"434f019f4b02bb7c046ad5f2d22530bc647eb62d","datavalue":{"value":{"entity-type":"item","numeric-id":326584,"id":"Q326584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034265$9060E6D6-B037-4E5E-95FC-0A242F6F9AD6","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":"Q7034265$18265080-C3C9-4CCD-AF94-3CDB335D9AC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034265$EB89DF4B-30A3-4043-B639-5C8BA2064135","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bfe37464712d04fc021742392fed889879064a0","datavalue":{"value":"http://www.tac.mta.ca/tac/volumes/41/53/41-53abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7034265$441E18F2-594D-4F8A-88F6-46A90D368CC7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c8c2178116f2d00810cf4595e7136ca33aa12dfa","datavalue":{"value":"It is well known [\\textit{J. Ad\u00e1mek} and \\textit{J. Rosick\u00fd}, Locally presentable and accessible categories. Cambridge: Cambridge University Press (1994; Zbl 0795.18007), Theorem 1.66] that a functor between locally presentable categories is a right adjoint iff it is accessible and preserves limits. This paper introduces a wise class of locally finitely presentable categories, called \\textit{graduated}, establishing that a finitary functor between them is a right adjoint iff it preserves countable limits. Graduation quintessentially means that every finitely presentable object is assigned a grade in \\(\\mathbb{N}\\) so that proper subobjects and proper strong quotients are of lower grades.\\N\\NThis paper was greatly inspired by the following two works.\\N\\N\\begin{itemize}\\N\\item[(1)] \\textit{G. Tendas} [Appl. Categ. Struct. 30, No. 5, 937--946 (2022; Zbl 1495.18010)] established, for locally finitely presentable categories of only countably many finitely presentable objects and finite hom-sets for them, that a finitary functor between such categories preserves limits iff it preserves countable limits.\\N\\N\\item[(2)] \\textit{V. Trnkov\u00e1} [Commentat. Math. Univ. Carol. 12, 143--174 (1971; Zbl 0232.18004); Commentat. Math. Univ. Carol. 12, 345--357 (1971; Zbl 0232.18005)] investigated the question when functors preserving products automatically preserve limits.\\N\\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034265$9C4EEE80-BB29-42B9-9A06-1D607C515893","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034265$BC473884-D4BA-47C9-B9D9-A9603F67F749","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034265$C5AEF900-1338-4823-894D-FC88F0184D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034265$BDEEE2B3-A96F-4B1B-9CC6-10BE0A9D66AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034265$018DF902-E1D5-4160-909E-359B521916DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034265$03C6D7BC-1EA3-445D-81BE-D2D6A0BF38E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de397c3008c521a2d0dcd6ebf9040f5746c839ac","datavalue":{"value":"7977814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034265$C2CDD424-9646-4EA0-BDB5-9311D95489B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fa2a2e6ae4d1f574c155cb3e541cee1e6877197","datavalue":{"value":"locally finitely presentable categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034265$877034D8-3BC1-4564-B28C-8E7C10975C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e23d2ed5a35b4bb1f5257ef135c22be95a4d6b3f","datavalue":{"value":"finitary functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034265$7B155ECC-EE61-4D78-B456-C66CAC2A165C","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":"Q7034265$6C11B553-7359-405F-B011-A15DE9EB2300","rank":"normal"}],"P223":[{"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":"Q7034265$2886C4B7-3A38-4122-B605-EDC75CDC8678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1146842379a6a2d00c0cc9bb037bd9b3e17996d","datavalue":{"value":{"entity-type":"item","numeric-id":2069826,"id":"Q2069826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034265$CF9CB3C8-A236-4BF7-9CD4-8C1F0EBB94B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01652ee09a2678d99c531b763d294d656adf295f","datavalue":{"value":{"entity-type":"item","numeric-id":2674400,"id":"Q2674400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034265$9484EB3C-6408-4B70-906F-D5B06260012C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b22501c4a522544765e1fbc099ade352ff4e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5574731,"id":"Q5574731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034265$AB0E48C5-7DA5-4AA7-89CF-99CA521CD4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f7e83e28306efa271bc6b03226220394842022","datavalue":{"value":{"entity-type":"item","numeric-id":5639841,"id":"Q5639841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034265$DF1F0D3A-8BBC-413B-90A8-A1A19F9AE3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7f16b45b00354967757a40d4dba93e73628e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5639842,"id":"Q5639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034265$E259A2DC-CEF6-41BD-9C3F-E9C2B2D20A9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A finitary adjoint functor theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_finitary_adjoint_functor_theorem"}}}}}