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