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

Leonid Positselski

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 of $R$-flat $R…