Implication Details

Claim: If a morphism is an epimorphism and is an extremal monomorphism, then it is an isomorphism.

Proof: This is obvious.

This implication has a dual.