 Monomorphism

A monomorphism $m:A\to B$ is left-cancellative: $mu=mv$ implies $u=v$. It represents a subobject of $B$.

In mathematics, particularly in category theory, a monomorphism is a type of morphism (or arrow) between objects that can be thought of as a generalization of the concept of an injective function in set theory.