Implication details
Claim: If a morphism is an isomorphism, then it is an effective monomorphism and is a split monomorphism.
Proof: This is trivial.
This implication has a dual.
Claim: If a morphism is an isomorphism, then it is an effective monomorphism and is a split monomorphism.
This implication has a dual.