Implication Details

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

Proof: This is because any morphism is right orthogonal to any isomorphism.