 Measuring coalgebra

For unital algebras over a field $A,B$, a coalgebra $C$ measures $A$ into $B$ when a linear map $p:C\to {\mathrm{Hom}}_k(A,B)$ satisfies the displayed identity and $p(c)(1_A)=\epsilon (c)1_B$. Group-like elements therefore act by unital algebra homomorphisms over a field.