Extremal monomorphism