CatDat

Implication Details

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

Proof: This is obvious.

Show 10 morphisms using this implication