 Comonoid

The categorical dual of a monoid object: an object with coassociative comultiplication and a counit, with the ambient constraints included.