零ベクトル空間
与えられた体 K 上のすべてのベクトル空間を対象としすべての K-線型写像を射とする圏 VectK において、零ベクトル空間は零対象となる。
任意のベクトル空間から零ベクトル空間への線型写像はただ一つ存在して、すべてのベクトルが零ベクトルに写される(つまり零写像)。かつ、零ベクトル空間から任意のベクトル空間への線型写像はただ一つ存在して、ただ一つのベクトルが各ベクトル空間内の零ベクトルとして埋め込まれる。