CatDat

Implication Details

Assumptions: finitely completethin

Conclusions: regular

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

Show 3 categories using this implication