Implication details
Claim: If a category is accessible, then it is locally essentially small.
Proof: See Makkai–Paré, proof of Prop. 2.1.5.
This implication has a dual.
Claim: If a category is accessible, then it is locally essentially small.
This implication has a dual.