Zero object (source code)

= Zero object
{title2=$0$}
{wiki}

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$.