coalgebra

vector space V equipped with a linear map V → V ⊗ V