Remark 2.2.6.2. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be an isomorphism of bicategories, and let $G: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{C}}$ be the inverse isomorphism. Then:
The functor $F$ is strictly unital if and only if $G$ is strictly unital. In this case, we say that $F$ is a strictly unital isomorphism.
The functor $F$ is strict if and only if $G$ is strict. In this case, we say that $F$ is a strict isomorphism.
We say that bicategories $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ are strictly isomorphic if there is a strict isomorphism from $\operatorname{\mathcal{C}}$ to $\operatorname{\mathcal{D}}$.