  We study Veronese and Segre morphisms between non-commutative projective
spaces. We compute finite reduced Gr\"obner bases for their kernels, and we
compare them with their analogues in the commutative case.
