Free -comonoid

Let be a inhabited set. The free -comonoid is the corresponding free module with the additional structure of an -comonoid given by

for all .

#state/develop | #lang/en | #SemBr