CatDat

Implication Details

Assumptions: binary productsinhabited

Conclusions: connected

Reason: For any two objects A,BA,B we have the zig-zag AA×BBA \to A \times B \to B.