CatDat

Implication Details

Assumptions: one-way

Conclusions: reflexive coequalizers

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