Implication Details
Claim: If a category has filtered colimits and has pullbacks and has reflexive coequalizers, then it has sifted colimits.
Proof: See Cor. 5.2 in Chen's paper.
Claim: If a category has filtered colimits and has pullbacks and has reflexive coequalizers, then it has sifted colimits.
Proof: See Cor. 5.2 in Chen's paper.