The answer to question 2 (hence 3) is "yes" for symmetric monoidal categories. Let $f:X\otimes X\to X$ be the inverse of $i\otimes id_X$. Let $\phi:X\to X^\vee$ be the composition 

$X\to X\otimes I\to X\otimes X\otimes X^\vee\to X\otimes X^\vee\to I\otimes X\otimes X^\vee\to X^\vee\otimes X\otimes X\otimes X^\vee\to X^\vee\otimes X\otimes X^\vee\to I\otimes X^\vee\to X^\vee,$

and let $\psi:X^\vee\to X$ be the composition $X^\vee\to I\otimes X^\vee\to X\otimes X^\vee\to I\to X$. These two maps are mutually inverse.

[Here is a string diagram "proof".][1]


  [1]: https://i.sstatic.net/HWgBQ.jpg