A comonoid (or comonoid object) in a monoidal category MM is a monoid object in the opposite category M opM^{op} (which is a monoidal category using the same operation as in MM).


For example, a comonoid in Vect (with its usual tensor product) is called a coalgebra. Every set can be made into a comonoid in Set (with the cartesian product) in a unique way. More generally, every object in a cartesian monoidal category can be made into a comonoid in a unique way.

Last revised on January 5, 2017 at 06:31:51. See the history of this page for a list of all contributions to it.