initial object 0 of a category C with the property that every morphism in C with codomain 0 is an isomorphism