Implication Details

Claim: If a category is finitely complete and is thin, then it is regular.

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

This implication has a dual.