Recall in a $2$-category $X$, a $1$-cell $f:X\to Y$ is called an equivalence provided there exists a $1$-cell $g:Y\to X$ together with the data of a pair of isomorphisms $\eta_X: gf \to \operatorname{id}_X$ and $\eta_Y: fg \to \operatorname{id}_Y$.

Then suppose we impose the additional requirement that $f\ast \eta_X = \eta_Y \ast f$ and $g\ast \eta_Y = \eta_X \ast g$.

Does this idea have a name? Is it the case that for any equivalence, we can find a pair $\eta_X, \eta_Y$ for which this holds?