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

c

and

These are the morphisms in π–’π—ˆπ—†π—ˆπ—‡π–’.

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