CatDat

Implication Details

Claim: If a category is Cauchy complete and is essentially finite, then it is finitely accessible.

Proof: See MO/509853, where it is in fact shown that the ind-completion of any finite Cauchy-complete category becomes itself.

Show 7 categories using this implication