epimorphism
A Morphism fff is monic if ∀g,h.g∘f=h∘f⇒h=g\forall g,h. g \circ f = h \circ f \Rightarrow h = g∀g,h.g∘f=h∘f⇒h=g
In the case of functions, this is equivalent to it being Surjective
It is the dual to Monic morphism
Video