CatDat

Implication Details

Assumptions: Cauchy completeessentially finite

Conclusions: finitely accessible

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