Structure

Implication details

Claim: If a category has filtered colimits and has pullbacks and has reflexive coequalizers, then it has sifted colimits.

Proof: See Chen, Cor. 5.2.

This implication has a dual.

Show 6 categories using this implication