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.
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.