0
$\begingroup$

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!

  • 0
    Haven't you missed some further hypotheses like that the category is semi-simple $k$-linear and simplicity of both $V$ and $Y$? As you state it this seems horribly wrong.2011-03-16
  • 0
    Actually in "Lectures on Tensor Categories" by Calaque and Etingof there is the statement "[But] in a rigid category, the only simple object $Y$ such that $V \otimes Y$ projects on $1$ is $^*V$. I forgot "simple object" and "projects" I guess. I will edit the question accordingly.2011-03-16

1 Answers 1