**K-Vect** is the symmetric monoidal category of vector spaces over **K** with **K** being the identity of the monoid. A structure **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.*