A → morphismf : Y → X if, for any two morphisms u,v : Z → Y, f u = f v implies that u =v.
See also: → mono-; → morphism.
