{"title":"逗号类别中的同位语对","authors":"Yuan Yuan, Jian He, Dejun Wu","doi":"10.21136/cmj.2024.0420-23","DOIUrl":null,"url":null,"abstract":"<p>Let <span>\\(\\cal{A}\\)</span> and <span>\\(\\cal{B}\\)</span> be abelian categories with enough projective and injective objects, and <span>\\(T \\colon\\cal{A}\\rightarrow\\cal{B}\\)</span> a left exact additive functor. Then one has a comma category (<span>\\(\\mathopen{\\cal{B} \\downarrow T}\\)</span>). It is shown that if <span>\\(T \\colon\\cal{A}\\rightarrow\\cal{B}\\)</span> is <span>\\(\\cal{X}\\)</span>-exact, then is a (hereditary) cotorsion pair in <span>\\(\\cal{A}\\)</span> and <img alt=\"\" src=\"//media.springernature.com/lw66/springer-static/image/art%3A10.21136%2FCMJ.2024.0420-23/MediaObjects/10587_2024_2023_Fig2_HTML.gif\" style=\"width:66px;max-width:none;\"/> is a (hereditary) cotorsion pair in <span>\\(\\cal{B}\\)</span> if and only if <img alt=\"\" src=\"//media.springernature.com/lw128/springer-static/image/art%3A10.21136%2FCMJ.2024.0420-23/MediaObjects/10587_2024_2023_Fig3_HTML.gif\" style=\"width:128px;max-width:none;\"/> is a (hereditary) cotorsion pair in (<span>\\(\\mathopen{\\cal{B}\\downarrow T}\\)</span>) and <span>\\(\\cal{X}\\)</span> and <span>\\(\\cal{Y}\\)</span> are closed under extensions. Furthermore, we characterize when special preenveloping classes in abelian categories <span>\\(\\cal{A}\\)</span> and <span>\\(\\cal{B}\\)</span> can induce special preenveloping classes in (<span>\\(\\mathopen{\\cal{B}\\downarrow T}\\)</span>).</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Cotorsion pairs in comma categories\",\"authors\":\"Yuan Yuan, Jian He, Dejun Wu\",\"doi\":\"10.21136/cmj.2024.0420-23\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <span>\\\\(\\\\cal{A}\\\\)</span> and <span>\\\\(\\\\cal{B}\\\\)</span> be abelian categories with enough projective and injective objects, and <span>\\\\(T \\\\colon\\\\cal{A}\\\\rightarrow\\\\cal{B}\\\\)</span> a left exact additive functor. Then one has a comma category (<span>\\\\(\\\\mathopen{\\\\cal{B} \\\\downarrow T}\\\\)</span>). It is shown that if <span>\\\\(T \\\\colon\\\\cal{A}\\\\rightarrow\\\\cal{B}\\\\)</span> is <span>\\\\(\\\\cal{X}\\\\)</span>-exact, then is a (hereditary) cotorsion pair in <span>\\\\(\\\\cal{A}\\\\)</span> and <img alt=\\\"\\\" src=\\\"//media.springernature.com/lw66/springer-static/image/art%3A10.21136%2FCMJ.2024.0420-23/MediaObjects/10587_2024_2023_Fig2_HTML.gif\\\" style=\\\"width:66px;max-width:none;\\\"/> is a (hereditary) cotorsion pair in <span>\\\\(\\\\cal{B}\\\\)</span> if and only if <img alt=\\\"\\\" src=\\\"//media.springernature.com/lw128/springer-static/image/art%3A10.21136%2FCMJ.2024.0420-23/MediaObjects/10587_2024_2023_Fig3_HTML.gif\\\" style=\\\"width:128px;max-width:none;\\\"/> is a (hereditary) cotorsion pair in (<span>\\\\(\\\\mathopen{\\\\cal{B}\\\\downarrow T}\\\\)</span>) and <span>\\\\(\\\\cal{X}\\\\)</span> and <span>\\\\(\\\\cal{Y}\\\\)</span> are closed under extensions. Furthermore, we characterize when special preenveloping classes in abelian categories <span>\\\\(\\\\cal{A}\\\\)</span> and <span>\\\\(\\\\cal{B}\\\\)</span> can induce special preenveloping classes in (<span>\\\\(\\\\mathopen{\\\\cal{B}\\\\downarrow T}\\\\)</span>).</p>\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2024-08-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.21136/cmj.2024.0420-23\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.21136/cmj.2024.0420-23","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Let \(\cal{A}\) and \(\cal{B}\) be abelian categories with enough projective and injective objects, and \(T \colon\cal{A}\rightarrow\cal{B}\) a left exact additive functor. Then one has a comma category (\(\mathopen{\cal{B} \downarrow T}\)). It is shown that if \(T \colon\cal{A}\rightarrow\cal{B}\) is \(\cal{X}\)-exact, then is a (hereditary) cotorsion pair in \(\cal{A}\) and is a (hereditary) cotorsion pair in \(\cal{B}\) if and only if is a (hereditary) cotorsion pair in (\(\mathopen{\cal{B}\downarrow T}\)) and \(\cal{X}\) and \(\cal{Y}\) are closed under extensions. Furthermore, we characterize when special preenveloping classes in abelian categories \(\cal{A}\) and \(\cal{B}\) can induce special preenveloping classes in (\(\mathopen{\cal{B}\downarrow T}\)).