Implication Details

Assumptions: essentially discrete

Conclusions: connected limits, locally essentially small

Reason: This is trivial.