# Colinear map

${\displaystyle \rho _{M}:M\rightarrow M\otimes C,\rho _{N}:N\rightarrow N\otimes C}$
be right C-comodules. Then an R-linear map ${\displaystyle f:M\rightarrow N}$ is called a (right) comodule morphism, or (right) C-colinear, if
${\displaystyle \rho _{N}\circ f=(f\otimes 1)\circ \rho _{M}}$