Zero morphism
In category theory, a branch of mathematics, a zero morphism is a special kind of morphism exhibiting properties like the morphisms to and from a zero object. == Definitions == Suppose C is a category, and f : X → Y is a morphism in C. The morphism f is called a constant morphism (or sometimes left zero morphism) if for any object W in C and any g, h : W → X, fg = fh.