CatDat

Implication Details

Claim: If a category is sifted, then it is connected.

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

Show 5 categories using this implication