Implication Details

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

Proof: This holds by definition.

This implication has a dual.