Monomorphism

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.