ON CORINGS AND COMODULES

It is shown that the categories of R-coalgebras for a commutative unital ring R and the category of A-corings for some R-algebra A as well as their respective categories of comodules are locally presentable.