Checks if a morphism is injective.