According to Grothendieck’s definition, which is by now standard in part of the literature, an epimorphism is a map f: A → B such that for any maps g: B → C, h: B → C, if g ≠ h, then gf ≠ hf. In groups, for example, epimorphisms are onto, but in rings, for example, they are not.