CatDat

Implication Details

Assumptions: multi-completeself-dual

Conclusions: multi-cocomplete

Reason: This holds by self-duality.