CatDat

Implication Details

Assumptions: accessible

Conclusions: Cauchy complete

Reason: This is because the walking idempotent is $\kappa$-filtered for any regular cardinal $\kappa$.