CatDat

Implication Details

Assumptions: sifted

Conclusions: connected

Reason: Sifted categories are inhabited, and any two objects in a sifted category are joined by a cospan.