Comonoid object Homomorphism of comonoid objects Given comonoids in , a morphism is a comonoid homomorphism iff is a homomorphism of monoid objects in . cat Thus we have and These are the morphisms in Category of comonoid objects. tidy | en | sembr
