CatDat

Implication Details

Claim: Given a morphism whose category is epi-regular, if it is a monomorphism, then it is a strong monomorphism.

Proof: Any monomorphism is right orthogonal to any regular epimorphism because regular epimorphisms are strong (by combining this result and this result).

Show 1 morphism using this implication