monomorphism ; injective homomorphism