 Zero object

A zero object is both an initial object and a terminal object. In a pointed category, the composite through the zero object is the zero morphism $0_{A,B}:A\to B$.