In "On Fusion Categories" by Etingof, Nikshych and Ostrik Proposition 2.1 there is used the following characterisation of a right dual in a rigid monoidal category (let us restrict to strict monoidal categories for simplicity):
Let $V$ be a simple object in a rigid monoidal category. A simple object $Y$ is the left dual of $V$ if and only if there is an epimorphism $V \otimes Y \rightarrow 1$. Let us call this map $\phi$.
I know that left/right duals are unique, but the prove for $Y \simeq ^*X$ that I know, needs in addition (for the case of left duals) that there is a map $\psi: 1 \rightarrow Y \otimes X$ such that $X \stackrel{id \otimes \psi}{\rightarrow} X \otimes Y \otimes X \stackrel{\phi \otimes id}{\rightarrow} X$ is the identity.
Can somebody give me a hint or a source where the above uniqueness is proved? Thank you very much!