Implication Details

Assumptions: finitary, right exact

Requirements of the source: finitely cocomplete

Conclusions: cocontinuous

This implication has been dualized from this implication.