Implication Details

Assumptions: finitary, right exact

Assumptions on source category: finitely cocomplete

Conclusions: cocontinuous

This implication has been dualized from this implication.