A coalgebra is the categorical dual of a unital associative algebra over a field K.

K-Vect is the symmetric monoidal category of vector spaces over K with K being the identity of the monoid. A structure is a coalgebra if C is an object of K-Vect, and and are morphisms satisfying the following commutative diagrams:

See also: bialgebra, coproduct

This article is a stub. You can help Wikipedia by fixing it.