Comonoid object

Comonoid morphism

Given comonoids in , a morphism is a comonoid morphism iff is a Monoid morphism in . #m/def/cat Thus we have

and

These are the morphisms in .

#state/tidy | #lang/en | #SemBr