Monomorphism (source code)

= Monomorphism
{wiki=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.