Definitions for "monomorphism"
Keywords:  homomorphism, injective
an injective homomorphism
Technically, a concept from type theory whereby a strongly-typed function may only accept values of the given types it expects (constrasts with polymorphism).