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.
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.