Implication Details
Claim: Given a symmetric monoidal category whose underlying category is thin, then it is well-pointed.
Proof: In a thin category, every object is a generator for trivial reasons.
Claim: Given a symmetric monoidal category whose underlying category is thin, then it is well-pointed.
Proof: In a thin category, every object is a generator for trivial reasons.