Implication Details

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

Proof: This is trivial.

This implication has a dual.