 This morphism maps any element of  to .The zero object, also by definition, must be an initial object, which means that a morphism  must exist and be unique for an arbitrary object .This morphism maps , the only element of , to the zero element , called the zero vector in vector spaces.