{"entities":{"Q6935778":{"pageid":21118302,"ns":120,"title":"Item:Q6935778","lastrevid":84111896,"modified":"2026-05-10T08:42:21Z","type":"item","id":"Q6935778","labels":{"en":{"language":"en","value":"Ind-completion and accessibility of functor categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8087444"}},"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":"Q6935778$4FC109D8-8F9F-4639-92EC-BC0C555BC821","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66b2599b12ec6e3c99a7a181bee3b1aef71dd238","datavalue":{"value":{"text":"Ind-completion and accessibility of functor categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6935778$0C57476D-02B2-4657-87FA-8A22711095B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c256abf7d09dadebc4b87e3acd2fe3ee8ddd6ef","datavalue":{"value":"1572.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935778$BB67F2A2-E446-49E9-A72D-0C42B98FCA6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b687bc0c2ee1e65809dd66792534f78bff32c519","datavalue":{"value":"10.1016/J.JPAA.2025.108030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935778$AD82CDE9-745D-4C7D-8F99-BA06BD85E06E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"220fbad31cd012e2efdebf47e2397340234f77f2","datavalue":{"value":{"entity-type":"item","numeric-id":266140,"id":"Q266140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935778$FD48F192-F287-479E-AC39-E5A6E2277B86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935778$3F3E037E-6C81-46C9-A967-1AF52683AF77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50e7e1513349015c9ad9d54964e1d81738fe0b09","datavalue":{"value":{"time":"+2025-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6935778$6FEA26F9-43AD-40F2-8B77-A922D28E15AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c63d977b07ec6b404c57e87922a741c00ee11592","datavalue":{"value":"Given \\(\\kappa\\) a regular cardinal and \\(\\mathcal{C}\\) a category, \\(\\mathrm{Ind}_{\\kappa}(\\mathcal{C})\\) denotes the \\ completion of \\(\\mathcal{C}\\). The construction \\(\\mathrm{Ind}_{\\kappa}\\) is a covariant endofunctor of the bicategory of locally small categories. Given a category \\(I\\), we have a functor\\N\\[\\NE_{\\mathcal{C},\\kappa}^{I}:\\mathrm{Ind}_{\\kappa}(\\mathcal{C} ^{I})\\rightarrow\\mathrm{Ind}_{\\kappa}(\\mathcal{C})^{I}\\N\\]\\Npreserving \\(\\kappa\\)-filtered colimits.\\N\\NThis paper aims to investigate under which conditions on \\(\\mathcal{C}\\), \\(\\kappa\\) and \\(I\\) this functor \\(E_{\\mathcal{C},\\kappa}^{I}\\) is an equivalence. The principal results of the paer are the following two theorems.\\N\\NTheorem. For a category \\(I\\) the following conditions are equivalent:\\N\\begin{itemize}\\N\\item[(L1)] For any locally \\(\\kappa\\)-presentable category \\(A\\), the category \\(A^{I}\\) is locally \\(\\kappa\\)-presentable and its \\(\\kappa\\)-presentable\\ objects are the functors \\(I\\rightarrow A_{\\kappa}\\).\\N\\item[(L2)] For every category \\(\\mathcal{C}\\) with all \\(\\kappa\\)-small colimits, the functor\\N\\[\\NE_{\\mathcal{C},\\kappa}^{I}:\\mathrm{Ind}_{\\kappa}(\\mathcal{C}^{I})\\rightarrow\\mathrm{Ind}_{\\kappa}(\\mathcal{C})^{I}\\N\\]\\Nis an equivalence.\\N\\item[(L3)] \\(I\\) is essentially \\(\\kappa\\)-small.\\N\\end{itemize}\\N\\NTheorem. For a category \\(I\\) the following conditions are equivalent:\\N\\begin{itemize}\\N\\item[(A1)] For every category \\(\\mathcal{C}\\), the functor\\N\\[\\NE_{\\mathcal{C},\\kappa}^{I}:\\mathrm{Ind}_{\\kappa}(\\mathcal{C}^{I})\\rightarrow\\mathrm{Ind}_{\\kappa}(\\mathcal{C})^{I}\\N\\]\\Nis an equivalence.\\N\\item[(A2)] For every Cauchy complete category \\(\\mathcal{C}\\), the functor \\(E_{\\mathcal{C},\\kappa}^{I}\\) above is an equivalence.\\N\\item[(A3)] For any \\(\\kappa\\)-accessible category \\(A\\), the category \\(A^{I}\\) is \\(\\kappa\\)-accessible\\(\\kappa\\)-accessible and its \\(\\kappa\\)-presentable objects are the functor \\(I\\rightarrow A_{\\kappa}\\).\\N\\item[(A4)] \\(I\\) is essentially \\(\\kappa\\)-small and well-founded.\\N\\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935778$BA43C415-1D0E-4366-95FD-399F0B0A6B22","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":"Q6935778$6BC14CEA-7B3F-4CC6-A968-FB1C0D4A2228","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935778$15A03670-08E4-4FBA-B82C-A378114A2BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935778$154EF4B4-AFBE-482C-9987-BEB2503BD1A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02137fc290de70f02682dc51bc0051786c3897b8","datavalue":{"value":"8087444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935778$1339681E-B598-4CBD-BA0B-C12CF0339006","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":"Q6935778$11380244-09ED-489D-A523-ABFF8762EF8F","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":"Q6935778$86289E56-5640-489F-BE1F-CE58612127D9","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":"Q6935778$6714AC3F-6EF9-400B-AB56-429B72682908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e66ff1bdc739b66d1b947e8b949fdb55c335c3b","datavalue":{"value":{"entity-type":"item","numeric-id":831310,"id":"Q831310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935778$EBDBF353-976B-481B-B00C-8186F100E141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad6a517207e9de949809c0f02e9e5c7cbfbe0a6","datavalue":{"value":{"entity-type":"item","numeric-id":2217538,"id":"Q2217538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935778$7BFC1FA6-505F-411F-AF20-C8BA72F27590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100e6111b619e729d7c574de50257516356f4910","datavalue":{"value":{"entity-type":"item","numeric-id":3388255,"id":"Q3388255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935778$7F18DA48-DAB6-46B4-B0F8-3C471E98C0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935778$82C2ACEC-A646-46FB-9F41-37AD2B179B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a176d58171f18c8c3f732fe4025ed6757afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1118588,"id":"Q1118588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935778$C2337C27-A5A3-4953-BD05-93BDBCCFDF6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ind-completion and accessibility of functor categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ind-completion_and_accessibility_of_functor_categories"}}}}}