Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have made explicit that comonoids first of all come with a counit
and I have added diagrams (via a quick tikzcd
hack, please feel invited to replace and improve) to make explicit that:
a string out of the little bubble denotes the unit,
one into the little bubble is the acual counit.
Because, probably a reader who does not already know about unital comonoids would need to be told this.
Finally, I have hyperlinked “string diagram”.
1 to 2 of 2