Implication details
Claim: If a symmetric monoidal category is self-dual and is well-copointed, then it is well-pointed.
Proof: This holds by self-duality.
Claim: If a symmetric monoidal category is self-dual and is well-copointed, then it is well-pointed.