CatDat

Implication Details

Assumptions: complete

Conclusions: connected limitsfinitely complete

Proof: This is trivial.

Show 28 categories using this implication