Implication Details

Claim: If a category is essentially discrete, then it has connected limits and is locally essentially small.

Proof: This is trivial.

This implication has a dual.