Implication Details

Assumptions: locally essentially small, subobject classifier

Conclusions: well-powered

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

Show 1 category using this implication