Comodule
= Comodule
{title2=$(M,\rho)$}
{wiki}
A right comodule is an object $M$ with a <coaction> $\rho:M\to M\otimes C$ satisfying the coassociativity and <counit> laws. This definition extends from <coalgebras> to <comonoids> in a <monoidal category>.