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