CatDat

Implication Details

Assumptions: terminal object

Conclusions: connected

Reason: If $1$ denotes the terminal object, then for any two objects $A,B$ we have the zig-zag $A \to 1 \leftarrow B$.