# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeAug 27th 2011
• CommentRowNumber2.
• CommentAuthorTodd_Trimble
• CommentTimeAug 27th 2011

I added more, particularly the fact that the construction $M \mapsto CocommCoalg(M)$ is a right 2-adjoint to the forgetful functor from cartesian monoidal categories to symmetric monoidal categories.

• CommentRowNumber3.
• CommentAuthorzskoda
• CommentTimeAug 29th 2011

Small fraction of people just say commutative coalgebra as co is redundant, but in Hopf algebras one likes to emphasis as Hopf algebra has both structures, though one can still say commutative multiplication and comultiplication. I sue co always, but recently started being a bit hesitant.

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeFeb 15th 2023

replaced broken pointer to “counicity” with working pointer to counitality (thanks to the comment here)