Assumptions: finite copowers
Conclusions: initial object
This implication has been dualized from this implication.