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