Implication Details

Assumptions: essentially discrete

Conclusions: connected limits, locally essentially small

Reason: This is trivial.

Show 5 categories using this implication