Claim: If a morphism is an extremal monomorphism, then it is a monomorphism.
Proof: This holds by definition.