aka monomorphism

A Morphism $f$ is monic if $\forall g,h. f \circ g = f \circ h \Rightarrow h = g$

In the case of functions, this is equivalent to it being injective

It is the dual to Epic morphism

Monics which are Equalizer (category theory) are called regular monics

Video