Implication Details

Assumptions: finitely complete, thin

Conclusions: regular

Reason: In a thin category, regular epimorphisms are isomorphisms, and the rest is clear as well.