CatDat

Implication Details

Assumptions: connected colimits

Conclusions: sifted colimits

Reason: This is because every sifted category is connected.