Implication Details

Claim: If a morphism is an isomorphism, then it is an effective monomorphism and is a split monomorphism.

Proof: This is trivial.