 Coalgebra

A comonoid in the monoidal category of modules over a commutative ring, with tensor ${\otimes }_k$ and unit $k$.