Assume having a monoidal category $(\mathcal{A},I,\otimes)$ where each object has an inverse, i.e. for every object $A$ there is an object $\bar{A}$ with $A\otimes\bar{A}=\bar{A}\otimes A=I$. Then I wonder: If $f:X\rightarrow Y$ is an arrow, is $f$ invertible with respect to $\circ$ if and only if $f$ is invertible with respect to $\otimes$? The latter meaning that there is an arrow $\hat{f}:\bar{X}\rightarrow\bar{Y}$ with $f\otimes\hat{f}=\hat{f}\otimes f=I$. I'm thinking of: Define $\bar{f}:\bar{Y}\rightarrow\bar{X}$ as $\bar{X}\otimes f\otimes\bar{Y}$ (or $\bar{Y}\otimes f\otimes\bar{X}$, is it the same?). Then define $\hat{f}=\bar{f}^{-1}$. But I don't know whether that is an inverse to $f$ (wrt $\otimes$).



Vertical and Horizontal Isomorphisms in 2-categories
Before answering, let me remark that it's generally considered a little weird (some would say, with tongue partly in cheek, ["evil"](http://ncatlab.org/nlab/show/principle+of+equivalence)) to posit categorical axioms which enforce equalities between objects, since models of such axioms will not be invariant with respect to categorical equivalences. Such axioms ought to be replaced by enforcing corresponding isomorphisms between objects, satisfying suitable coherence axioms. 


With that in mind, let's start by putting the question a little differently: suppose that for each object $X$ we have units $\eta\_X: I \to \bar{X} \otimes X$, $\eta\_X': I \to X \otimes \bar{X}$, and counits $\epsilon\_X: X \otimes \bar{X} \to I$, $\epsilon\_X': \bar{X} \otimes X \to I$ such that the triangular equations for adjunctions $X \dashv \bar{X}$, $\bar{X} \dashv X$ hold and 


$$\eta\_X' \circ \epsilon\_X = 1\_{X \otimes \bar{X}}, \qquad \eta\_X \circ \epsilon\_X' = 1\_{\bar{X} \otimes X}$$ 


$$\epsilon\_X \circ \eta\_X' = 1\_I = \epsilon\_X' \circ \eta\_X$$ 


(**Edit:** As noted by Chris and myself below, given an object $\bar{X}$ and invertible maps $\eta\_X: I \to \bar{X} \otimes X$, $\phi: I \to X \otimes \bar{X}$, one can always construct an invertible map $\eta\_X': I \to X \otimes \bar{X}$ such that $\epsilon\_X := (\eta\_X')^{-1}$ and $\epsilon\_X' := (\eta\_X)^{-1}$ are counits that fit into appropriate triangular equations. Details (for the more general case of 2-categories or bicategories in place of monoidal categories) are given in the [nLab article](http://ncatlab.org/nlab/show/adjoint+equivalence) mentioned in my comment.) 


Then, as you surmise, $f$ is invertible with respect to $\circ$ iff it is "invertible with respect to $\otimes$". Essentially we follow your definition of $\bar{f}$ given $f^{-1}$, defining 


$$\bar{f} = (\epsilon\_X' \otimes 1\_{\bar{Y}}) \circ (1\_{\bar{X}} \otimes f^{-1} \otimes 1\_{\bar{Y}}) \circ (1\_{\bar{X}} \otimes \eta\_Y)$$ 


and what we really mean by "invertible with respect to $\otimes$" is that we have equations 


$$\epsilon\_Y \circ (f \otimes \bar{f}) \circ \eta\_X' = 1\_I = \epsilon\_Y' \circ (\bar{f} \otimes f) \circ \eta\_X.$$


The most perspicuous way to show these equations hold is by using string diagram calculus. Since I am not too handy with graphics, I'll just briefly sketch how to derive the first equation, leaving it to you to believe or verify that the second equation works similarly. The main steps are that 


$$\begin{array}
\epsilon\_Y \circ (f \otimes \bar{f}) \circ \eta\_X' & = & \epsilon\_Y \circ (f \otimes 1\_{\bar{Y}}) \circ (1\_X \otimes \epsilon\_X' \otimes 1\_X \otimes 1\_{\bar{Y}}) \circ (\eta\_X' \otimes 1\_X \otimes 1\_{\bar{Y}}) \circ (f^{-1} \otimes 1\_{\bar{Y}}) \circ \eta\_Y' \\\ 
 & = & \epsilon\_Y \circ (f \otimes 1\_{\bar{Y}}) \circ (f^{-1} \otimes 1\_{\bar{Y}}) \circ \eta\_Y' \\\ 
 & = & \epsilon\_Y \circ \eta\_Y' \\\ 
 & = & 1\_I
\end{array}
$$ 


where the first equation uses the definition of $\bar{f}$ and axioms of a monoidal category, the second uses a triangular equation, and the fourth uses one of the invertibility axioms for $Y$. Remaining details are similarly routine. 


