Implication Details

Assumptions: right exact

Conclusions: finite-coproduct-preserving, initial-object-preserving

This implication has been dualized from this implication.