Implication Details
Claim: If a category is multi-complete and is self-dual, then it is multi-cocomplete.
Proof: This holds by self-duality.
Claim: If a category is multi-complete and is self-dual, then it is multi-cocomplete.
Proof: This holds by self-duality.