Implication Details

Claim: If a symmetric monoidal category is trivial, then it is well-pointed.

Proof: This is trivial.

Show 3 symmetric monoidal categories using this implication