Implication Details
Claim: If a morphism is a regular monomorphism, then it is a monomorphism.
Proof: This is an immediate consequence of the definition of an equalizer.
Claim: If a morphism is a regular monomorphism, then it is a monomorphism.
Proof: This is an immediate consequence of the definition of an equalizer.