CatDat

Implication Details

Assumptions: sifted colimits

Conclusions: filtered colimitsreflexive coequalizers

Reason: This is because filtered categories are sifted and because the index category for a reflexive coequalizer is sifted.