Implication Details
Assumptions: Cauchy complete, essentially finite
Conclusions: finitely accessible
Proof: See MO/509853, where it is in fact shown that the ind-completion of any finite Cauchy-complete category becomes itself.
Assumptions: Cauchy complete, essentially finite
Conclusions: finitely accessible
Proof: See MO/509853, where it is in fact shown that the ind-completion of any finite Cauchy-complete category becomes itself.