Implication details
Claim: If a morphism is an isomorphism, then it is an effective epimorphism and is a split epimorphism.
Proof: This follows from the dual implication.
This implication has a dual.
Claim: If a morphism is an isomorphism, then it is an effective epimorphism and is a split epimorphism.
This implication has a dual.