Implication Details
Claim: If a morphism is an epimorphism and is an extremal monomorphism, then it is an isomorphism.
Proof: This is obvious.
Claim: If a morphism is an epimorphism and is an extremal monomorphism, then it is an isomorphism.
Proof: This is obvious.