Comment Comment by robinzfc Right. Specifically, the codomain needs to be an abelian group. And even that is not sufficient as one needs also an action of the field of scalars on that codomain with the right properties. parent robinzfc 3 years ago