Skip to main content
2 of 2
deleted 87 characters in body

Mistake in Wikipedia Entry "Coalgebra"

Consider the following quote from the Wikipedia entry Coalgebra:

The kernel of every coalgebra morphism $f : C_1 \to C_2$ is a coideal in $C_1$, and the image is a subcoalgebra of $C_2$.

I can't see any qualifiers preceding or succeeding the statement. Am I missing something obvious here, or is this just plain wrong?

Do there not exists kernels of coalgebra maps that are not coideals?