CatDat

Implication Details

Assumptions: essentially discrete

Conclusions: connected limitslocally essentially small

Proof: This is trivial.

Show 6 categories using this implication