Zero morphism
Bi-universal property in category theory / From Wikipedia, the free encyclopedia
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.