Implication Details

Claim: If a category is essentially discrete and has a multi-initial object, then it is essentially small.

Proof: This is trivial.