Implication Details
Assumptions: sifted colimits
Conclusions: filtered colimits, reflexive coequalizers
Reason: This is because filtered categories are sifted and because the index category for a reflexive coequalizer is sifted.
Assumptions: sifted colimits
Conclusions: filtered colimits, reflexive coequalizers
Reason: This is because filtered categories are sifted and because the index category for a reflexive coequalizer is sifted.