Implication Details

Claim: If a category is locally essentially small and has a subobject classifier, then it is well-powered.

Proof: See Mac Lane & Moerdijk, Prop. I.3.1.

This implication has a dual.