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.
@article{108017,
author = {Hans-Eberhard Porst},
title = {On corings and comodules},
journal = {Archivum Mathematicum},
volume = {042},
year = {2006},
pages = {419-425},
zbl = {1152.16030},
mrnumber = {2283022},
language = {en},
url = {http://dml.mathdoc.fr/item/108017}
}
Porst, Hans-Eberhard. On corings and comodules. Archivum Mathematicum, Tome 042 (2006) pp. 419-425. http://gdmltest.u-ga.fr/item/108017/
On varieties and covarieties in a category, Math. Structures Comput. Sci. 13 (2003), 201–232. | MR 1994641 | Zbl 1041.18007
Locally Presentable and Accessible Categories, Cambridge University Press, Cambridge (1994). (1994) | MR 1294136
Coalgebras over a Commutative Ring, J. Algebra 32 (1974), 600–610. (1974) | MR 0401881 | Zbl 0305.18006
Corings and Comodules, Cambridge University Press, Cambridge (2003). | MR 2012570 | Zbl 1035.16030
Hopf Algebras - An Introduction, Marcel Dekker, New York – Basel (2001). | MR 1786197 | Zbl 0962.16026
Categories for the working mathematician, 2nd ed., Springer, New York (1998). (1998) | MR 1712872
Accessible categories: the foundations of categorical model theory, Contemp. Math. 104. Amer. Math. Soc., Providence (1989). (1989) | MR 1031717 | Zbl 0703.03042
Fundamental Constructions for Coalgebras, Corings, and Comodules, preprint (2006). | MR 2383288 | Zbl 1145.16025
Lehrbuch der Algebra, Teil 2, Teubner, Stuttgart (1988). (1988) | MR 0934019 | Zbl 0638.00001
Hopf Algebras, Benjamin, New York (1969). (1969) | MR 0252485 | Zbl 0203.31601
On linear representations of affine groups I, Pacific J. Math. 61 (1975), 551– 572. (1975) | MR 0414567 | Zbl 0324.18006