Linear algebra MOC

-comonoid

Let be a commutative ring. An -comonoid is a comonoid in [[Category of modules over a commutative ring|]]. calg

Sweedler notation

It is convenient to introduce Sweedler notation, where we write

The idea is that the tensor may be decomposed into a finite sum of separable tensors, so we feel free to invoke such a decomposition without fixing it explicitly.

Examples

• Free R-comonoid

See also

• [[R-monoid|-monoid]]
• Biunital biassociative bialgebra over a commutative ring

---

develop | en | sembr