 Coaction

The structure map of a comodule; a right coaction satisfies $(\rho \otimes 1)\rho =(1\otimes \Delta )\rho$ with coherent parentheses, and $(1\otimes \epsilon )\rho$ is the inverse right unitor.