essential monomorphism