<p>For any commutative ring <i>R</i>, we show that the categories of<i>R</i>-coalgebras and cocommutative <i>R</i>-coalgebras are locally<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1538_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\aleph_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℵ</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>-presentable, while the categories of <i>R</i>-flat<i>R</i>-coalgebras are <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1538_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\aleph_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℵ</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>-accessible. Similarly, for any associative ring <i>R</i>, the category of <i>R</i>-coringsis locally <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1538_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\aleph_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℵ</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>-presentable, while the category of<i>R</i>-<i>R</i>-bimodule flat <i>R</i>-corings is <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1538_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\aleph_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℵ</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>-accessible. The cardinality of the ring <i>R</i> can be arbitrarily large. We also discuss <i>R</i>-corings with surjective counit and flat kernel. The proofs are straightforward applications of an abstractcategory-theoretic principle going back to Ulmer. For right or two-sided <i>R</i>-module flat <i>R</i>-corings, our cardinalityestimate for the accessibility rank is not as good. A generalization to comonoid objects in accessible monoidal categoriesis also considered.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The categories of corings and coalgebras over a ring are locally countably presentable

  • L. Positselski

摘要

For any commutative ring R, we show that the categories ofR-coalgebras and cocommutative R-coalgebras are locally \(\aleph_1\) 1 -presentable, while the categories of R-flatR-coalgebras are \(\aleph_1\) 1 -accessible. Similarly, for any associative ring R, the category of R-coringsis locally \(\aleph_1\) 1 -presentable, while the category ofR-R-bimodule flat R-corings is \(\aleph_1\) 1 -accessible. The cardinality of the ring R can be arbitrarily large. We also discuss R-corings with surjective counit and flat kernel. The proofs are straightforward applications of an abstractcategory-theoretic principle going back to Ulmer. For right or two-sided R-module flat R-corings, our cardinalityestimate for the accessibility rank is not as good. A generalization to comonoid objects in accessible monoidal categoriesis also considered.