Implication Details

Assumptions: generalized variety

Conclusions: sifted colimits

Reason: This holds by definition.