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.
created cocommutative coalgebra
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.
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.
replaced broken pointer to “counicity” with working pointer to counitality (thanks to the comment here)
1 to 4 of 4