# nLab CocommCoalg

This page describes some nice properties of the category $R Cocomm Coalg$ of cocommutative coalgebras over a ground ring $R$, in particular details of the proof that it is a complete, cocomplete, lextensive, cartesian closed category with a generating set.

## References

Michael Barr, Coalgebras over a commutative ring, J. Alg. 32 (1974), 600–610.

Hans-Eberhard Porst, On corings and comodules, Archivum Mathematicum (2006), No. 4, 419-425.

category: category

Revised on January 23, 2012 17:48:18 by Todd Trimble (74.88.146.52)