CatDat

Implication Details

Assumptions: multi-cocompleteself-dual

Conclusions: multi-complete

Reason: This holds by self-duality.