Implication Details

Claim: If a symmetric monoidal category is cocomplete, then it is finitely cocomplete and is infinitary distributive.

Proof: This is trivial.

This implication has a dual.