A morphism f:Y->X in a category is a monomorphism if, for any two morphisms u, v:Z->Y, f u = f v implies that u = v. In the categories of sets, groups, modules, etc., a monomorphism is the same as an injection, and is used synonymously with "injection" outside of category theory.

category | epimorphism | injection | monomorph | morphism