Implication Details

Assumptions: accessible

Conclusions: locally essentially small

Reason: See the proof of Prop. 2.1.5 in Makkai-Pare.