A comonoid in a monoidal category is a monoid object in the opposite category (which is a monoidal category using the same operation as in ).
For example, a comonoid in Vect is called a coalgebra. Every set can be made into a comonoid in Set in a unique way. More generally, every object in a cartesian monoidal category can be made into a comonoid in a unique way.