Implication Details

Claim: If a category is one-way, then it has reflexive coequalizers.

Proof: Every reflexive pair is equal: If $f s = g s = \id$, then since $s f = \id$ (one-way), we must have $f = s^{-1}$, and likewise $g = s^{-1}$.