Assumptions: binary products, inhabited
Conclusions: connected
Reason: For any two objects A,BA,BA,B we have the zig-zag A←A×B→BA \leftarrow A \times B \rightarrow BA←A×B→B.