Implication Details

Assumptions: filtered colimits, pullbacks, reflexive coequalizers

Conclusions: sifted colimits

Proof: See Cor. 5.2 in Chen's paper.

Show 4 categories using this implication