{"entities":{"Q731915":{"pageid":733764,"ns":120,"title":"Item:Q731915","lastrevid":63954423,"modified":"2026-04-11T16:40:03Z","type":"item","id":"Q731915","labels":{"en":{"language":"en","value":"Contravariantly finite subcategories closed under predecessors."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5611752"}},"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":"Q731915$64889AD7-195F-456C-8882-02F5894E68AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ab1742ecacb5b909792e43f3017addbb64d65f6","datavalue":{"value":{"text":"Contravariantly finite subcategories closed under predecessors.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q731915$86B30ED3-393E-4780-B8F7-75CE7DBDE9A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4941753cd89f2ce39be95626b46b2f278804b1b8","datavalue":{"value":"1190.16013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731915$414983BA-96D1-4396-8840-F24A348B4072","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f373ada5f02b5397bb549cdf250e23508470f27b","datavalue":{"value":{"entity-type":"item","numeric-id":246159,"id":"Q246159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$6D61D496-42C5-4201-B5D2-6797446EF086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4216ae0c0ec8930216e15b4599d200c3f4981dd0","datavalue":{"value":{"entity-type":"item","numeric-id":288496,"id":"Q288496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$3DB6D8EE-2C27-453E-BC73-520AB11D1D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"098f5b6c7a0a2403b61b713706e7c2457743ec6c","datavalue":{"value":{"entity-type":"item","numeric-id":192048,"id":"Q192048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$554CAA32-E7A7-4096-830B-042E6DB12718","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$95FEB528-4490-4EAD-A595-9CC8FF0C922A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-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":"Q731915$6FD866F8-B3EB-4BBC-87E2-E1F880317F84","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c2d1041d3b6fe57fe8f30201a25a603f8f7c8a5e","datavalue":{"value":"In this paper the following two main results are proved:   Theorem A. Let \\(A\\) be an Artin algebra and \\(\\mathcal C\\) be a full skeleton subcategory of the category of all indecomposable finitely generated right \\(A\\)-modules, closed under predecessors. Let \\(E\\) denote the direct sum of ext-injective modules in \\(\\mathcal C\\). Then the following conditions are equivalent:   1) \\(\\mathrm{add\\,}\\mathcal C\\) is contravariantly finite.   2) \\(\\mathcal C^\\perp\\) is contravariantly finite.   3) \\(E\\) is a cotilting module over the support algebra of \\(\\mathcal C\\).   4) \\(\\mathrm{add\\,}\\mathcal C\\) consists of all \\(M\\) such that \\(\\Hom_A(M,E)\\neq 0\\).   5) Any morphism \\(f\\colon L\\to M\\) where \\(L\\in\\mathcal C\\) and \\(M\\) is indecomposable not in \\(\\mathcal C\\) factors through \\(\\mathrm{add\\,}E\\).   Theorem B. Let \\(A\\) and \\(\\mathcal C\\) be as in Theorem A and assume that \\(\\mathrm{pgd\\,}\\mathcal C<\\infty\\). Let \\(F\\) be the direct sum of all indecomposable projective \\(A\\)-modules not lying in \\(\\mathcal C\\). Then the following conditions are equivalent:   (i) \\(\\mathrm{add\\,}\\mathcal C\\) is contravariantly finite.   (ii) \\(E\\) is a tilting module over the support algebra of \\(\\mathcal C\\).   (iii) \\(E\\oplus F\\) is a tilting \\(A\\)-module.   Moreover, in this case \\(\\mathcal C^\\perp=E^\\perp\\) and \\(\\mathcal C\\) consists of all predecessors of \\(E\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q731915$702CDB5F-B757-47FF-882D-C606F5916DD6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"95517859f95e75b9e13f23d622423389fb448bc3","datavalue":{"value":{"entity-type":"item","numeric-id":206795,"id":"Q206795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$E540B447-3E1A-419C-AD02-CE8AEF6CB6B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87856f9223d07d07585522e368e90fed0ba22d5e","datavalue":{"value":"16E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731915$C4937D5C-B1F5-476E-AC07-67DD4AABFEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9828d161092142abeba8ebc404a6788b67cab0f3","datavalue":{"value":"16D90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731915$377C1C50-699D-4B1A-A44A-70E379A1DCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e31e87d297504ff594704a0f3b597e81a20ceae4","datavalue":{"value":"16G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731915$75984EF9-3317-4CAF-8790-A62BF285233E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6513d146462f8a810160db474d42cad45c7c34da","datavalue":{"value":"18E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731915$CE15DF80-8C4F-4524-9CC0-15FA4847EC02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47bad35d9315e84df5a58d90fb55002458442528","datavalue":{"value":"5611752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731915$01841505-7C1D-4096-81A0-148B47B367D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42ef28ebcb9d845ea375234cc1d8a824eaea38b3","datavalue":{"value":"contravariantly finite subcategories","type":"string"},"datatype":"string"},"type":"statement","id":"Q731915$9C66A00B-AB82-4EBB-95D0-0666DE2CC2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd6bbc17de830fc0a32f1796924753f3985aded3","datavalue":{"value":"tilting modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q731915$E415ED53-AB25-4393-A7D3-1AC0B56531A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81153b4a582a6f1689e24e4c2fe1f193bc814116","datavalue":{"value":"cotilting modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q731915$6A687A9D-890F-4AA6-8FB1-C13F0AAA0F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a7e541c475a65826dd6a2c3373062559894d46","datavalue":{"value":"predecessors","type":"string"},"datatype":"string"},"type":"statement","id":"Q731915$B02656A2-AB76-44A4-A87E-49755307E04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8715ec5f98307a79cde5123bd4df43d2c40676b","datavalue":{"value":"Artin algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q731915$A9EAF091-8835-4899-A04D-3DD6992103FF","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":"Q731915$DC0262F4-BF77-4A7C-9010-0CF22EF0B48B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27db923af964d21b8d76759ccddab2a88c7a18d6","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2009.05.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q731915$2FAFBA26-303B-4CEC-9BC7-2E3A56E87AE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02faa4a4d80e4cf5a11857abf12b7691d4755eee","datavalue":{"value":"W1995875301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731915$128D808D-096C-4732-8902-85DAAF4A0AA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27031d0b16fcebdf9613d102d63addab6d79ca81","datavalue":{"value":{"entity-type":"item","numeric-id":3103642,"id":"Q3103642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$F3B0E26C-D90D-4877-80D0-84C5AACB032E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcb452bd80441310c71627010bb69b1c827d76fc","datavalue":{"value":{"entity-type":"item","numeric-id":2703553,"id":"Q2703553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$989DACA3-BE7E-48FF-A043-01A39F29407A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb48c7de4b723a318afb6d13f25b5e98c6a945ed","datavalue":{"value":{"entity-type":"item","numeric-id":3325880,"id":"Q3325880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$B6F5BAF4-152C-494F-8EE3-ABF57FDE1660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5587337c747fe140f41bbcbf0e792e3bc2807b8f","datavalue":{"value":{"entity-type":"item","numeric-id":3631964,"id":"Q3631964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$36F5201F-1E83-474F-965F-FCB5000172C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa4e51c1684c67e303e114e98901ce59e96abbf","datavalue":{"value":{"entity-type":"item","numeric-id":2464524,"id":"Q2464524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$E027E4EF-8290-4231-B7A0-DBCEFCC2EAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f639a60c498107482e00a7d759bb30af9aa8c7","datavalue":{"value":{"entity-type":"item","numeric-id":860445,"id":"Q860445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$8458EC12-0BCC-4BAF-B046-9F780F22B16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa687d8ab10d3e76c3fa1fa409477136ba46655","datavalue":{"value":{"entity-type":"item","numeric-id":1414668,"id":"Q1414668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$FD756C8F-A2A1-4DAB-B8DF-878265622036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509da43ee48c47f76437c22c8b33e53773314c23","datavalue":{"value":{"entity-type":"item","numeric-id":5702497,"id":"Q5702497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$B93B2DA5-4448-42E5-BC26-88253675EDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb73435e51777e68149ab83d5172d8c3f1c3f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2490849,"id":"Q2490849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$A1E3CF7D-06FC-4AF3-9FF9-8F0A82887B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11989fe591429f5f9301fb9d1d800c16e95e7b2c","datavalue":{"value":{"entity-type":"item","numeric-id":4681040,"id":"Q4681040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$553FBD16-DFC4-420F-8DB5-E380A6D388AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e66a7cdcd5127afe29e08abaa9053f52a74bbde","datavalue":{"value":{"entity-type":"item","numeric-id":5704250,"id":"Q5704250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$8E331F38-6440-44F0-A2F1-B7524C589E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a9d0d56e4fede832b76d5633f81f347d0e4914","datavalue":{"value":{"entity-type":"item","numeric-id":1814139,"id":"Q1814139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$2FDF794D-B241-4A9D-A041-0F91A32807CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4408f3ad51b276e10fb040cdb7d1b97362e7a60e","datavalue":{"value":{"entity-type":"item","numeric-id":4318498,"id":"Q4318498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$81262ED6-F8CF-4E4B-ACAE-2E6839773E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc3cccbaf240df339cb504b4df7b2ce76eb214b","datavalue":{"value":{"entity-type":"item","numeric-id":1160735,"id":"Q1160735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$4824E151-A08D-4C3B-A119-7E96161B5E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeef558b8ce7c446c4ea537d06f5ea5da0a48d9c","datavalue":{"value":{"entity-type":"item","numeric-id":1159261,"id":"Q1159261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$B87BB4D5-49A1-4717-B540-C41A36078F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cbec1b56869dc2ddce39edcaa174d2004357ad","datavalue":{"value":{"entity-type":"item","numeric-id":4865874,"id":"Q4865874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$F8C49787-01A0-4999-BC5D-1BD0C90CD006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a531c87285bdbfb2ea7d11d2935e903ca8c89cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4012108,"id":"Q4012108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$AE444E5A-3F06-475A-9466-71E62827CFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619d208fbce01c7e00ea5dd249efc484469bb821","datavalue":{"value":{"entity-type":"item","numeric-id":4873908,"id":"Q4873908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$591B1838-1FFA-4EDF-B90B-18CF0C03F919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53fbcae39aeeabac51b2c4025ee329ff520293e3","datavalue":{"value":{"entity-type":"item","numeric-id":3669584,"id":"Q3669584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731915$2ADC0E42-41FD-4D05-A3C0-5DCCD763C702","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6410ddb42d51e96aa7e1d04a13602eace105782","datavalue":{"value":"10.1016/J.JALGEBRA.2009.05.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731915$B393A038-9D09-4AAC-86C8-B532F938B695","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3f35eab20217d1c58c7ad3e18fd17c6754869a","datavalue":{"value":{"entity-type":"item","numeric-id":3135146,"id":"Q3135146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b7a5a6df8f14d5491ba1b5c02d6503f66d6dce","datavalue":{"value":{"amount":"+0.8845378756523132","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":"Q731915$B49CDFAF-DD89-45BE-A6F4-CBC07CC731F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4e76e46982db762d80398d2580d637ee494969","datavalue":{"value":{"entity-type":"item","numeric-id":1814139,"id":"Q1814139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f89e3b4c0813900c6573e719e02c8bd258e719c","datavalue":{"value":{"amount":"+0.833404541015625","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":"Q731915$0718BA14-61D4-45BE-B57D-3CF745B78EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a140c345d5c5041010fd25780ef05e747c6bf34","datavalue":{"value":{"entity-type":"item","numeric-id":3404586,"id":"Q3404586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4d58beb8b92a26f799736a276c828a5fa17d70","datavalue":{"value":{"amount":"+0.830276370048523","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":"Q731915$DFFD2167-8435-43E8-8E0D-DD77453BFCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b315d65f441b580bf157f5f663ea8b0fdca974a1","datavalue":{"value":{"entity-type":"item","numeric-id":4681040,"id":"Q4681040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b27a7d1de38d4517283ba921cdf17b96e4db658","datavalue":{"value":{"amount":"+0.8276028633117676","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":"Q731915$8EF03DC9-6335-4B2D-B7DC-3DD69DA4C1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e143627f9e2fe436bcb57dbf0d25ab4ff4c948e9","datavalue":{"value":{"entity-type":"item","numeric-id":689756,"id":"Q689756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd504591e25d3fcc9871c46d9a732c96cfc9516e","datavalue":{"value":{"amount":"+0.8270888924598694","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":"Q731915$2FAF3C61-1F71-4424-AEFD-6E60E3ECCCE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contravariantly finite subcategories closed under predecessors.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Contravariantly_finite_subcategories_closed_under_predecessors."}}}}}