Comonoid object Category of comonoid objects The category of comonoids in π’, denoted π’πππππ’ is a category where an object is a comonoid object in π’ and a morphism is a Homomorphism of comonoid objects. cat Related categories Category of comonoid objects = π¬πππ’π¨π© tidy | en | SemBr