Implication Details

Assumptions: multi-cocomplete

Conclusions: multi-initial object

This implication has been dualized from this implication.