Implication Details
Claim: If a category is accessible, then it is locally essentially small.
Proof: See the proof of Prop. 2.1.5 in Makkai-Pare.
Claim: If a category is accessible, then it is locally essentially small.
Proof: See the proof of Prop. 2.1.5 in Makkai-Pare.