 But its existence and, if it exists, the property to be an initial object (and hence, a "zero object" in the category-theoretical sense) depend on exact definition of the multiplicative identity 1 in a specified structure.If the definition of  requires that , then the object cannot exist because it may contain only one element.In particular, the zero ring is not a field.