be right C-comodules. Then an R-linear map is called a (right) comodule morphism, or (right) C-colinear, if This notion is dual to the notion of a linear map between vector spaces, or, more generally, of a homomorphism between R-modules. See also Divided power structure References Module theory Coalgebras