universally injective morphisms