Implication details

Claim: Given a morphism whose category has zero morphisms, if it is an isomorphism, then it is a normal monomorphism.

Proof: This is trivial.

This implication has a dual.

Show 1 morphism using this implication