Implication Details

Assumptions: initial object, wide pushouts

Conclusions: cocomplete

This implication has been dualized from this implication.