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

L Positselski - arXiv preprint arXiv:2401.02928, 2024 - arxiv.org
For any commutative ring $ R $, we show that the categories of $ R $-coalgebras and
cocommutative $ R $-coalgebras are locally $\aleph_1 $-presentable, while the categories …