Author: nLab edit announcer Format: MarkdownItexAdded that the functor sending a coring to the set of its grouplike elements is representable; added that the reason the set of grouplike elements of a hopf algebra form a group is that a hopf algebra is a group over the category of coalgebras.
SalutaFungo
<a href="https://ncatlab.org/nlab/revision/diff/grouplike+element/12">diff</a>, <a href="https://ncatlab.org/nlab/revision/grouplike+element/12">v12</a>, <a href="https://ncatlab.org/nlab/show/grouplike+element">current</a>
Added that the functor sending a coring to the set of its grouplike elements is representable; added that the reason the set of grouplike elements of a hopf algebra form a group is that a hopf algebra is a group over the category of coalgebras.