CatDat

Implication Details

Assumptions: sifted

Conclusions: connected

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

Show 6 categories using this implication