Implication Details

Assumptions: cocontinuous

Conclusions: coequalizer-preserving, coproduct-preserving, finitary

This implication has been dualized from this implication.