The coimage of a map differs slightly from the image, in that the coimage is a quotient module of the source of the map, but the image is a submodule of the target of the map.
See also GradedModule.
