CatDat

Implication Details

Assumptions: Cauchy completeessentially small

Conclusions: accessible

Reason: See Makkai-Pare, Thm. 2.2.2.