Implication Details
Claim: If a symmetric monoidal category is trivial, then it is cocartesian and is coclosed and is complete and is self-dual.
Proof: This follows from the dual implication.
Claim: If a symmetric monoidal category is trivial, then it is cocartesian and is coclosed and is complete and is self-dual.
Proof: This follows from the dual implication.