Assumptions: multi-complete, self-dual
Conclusions: multi-cocomplete
Proof: This holds by self-duality.