The cofree coalgebra of any vector space over a field exists, though it is more complicated than one might expect by analogy with the free algebra.