Implication Details
Assumptions: equalizers, right cancellative
Conclusions: thin
Reason: If are two parallel morphisms, then their equalizer is a regular monomorphism, but also an epimorphism by assumption, so it must be an isomorphism. But this means that .