Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Exercise 6.1.6.11. Let $\operatorname{\mathcal{C}}$ be a category which admits finite products, and regard $\operatorname{\mathcal{C}}$ as equipped with the monoidal structure given by cartesian products (Example 2.1.3.2). Show that an object $X \in \operatorname{\mathcal{C}}$ is left (or right) dualizable if and only if it is isomorphic to the final object ${\bf 1}$.